aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Le bon type pour list_fold_right_and_leftGravatar herbelin2000-07-01
* fonction list_fold_left_right pas definieGravatar filliatr2000-06-30
* Ajout list_fold_right_and_leftGravatar herbelin2000-06-29
* bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...Gravatar filliatr2000-06-21
* portage EAuto et RingGravatar filliatr2000-06-21
* docGravatar herbelin2000-05-31
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Ajout matrix_transposeGravatar herbelin2000-03-07
* Abstraction de l'implémentation des signatures de Sign en vue intégration d...Gravatar herbelin2000-01-26
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* modules et coqcGravatar filliatr1999-12-12
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkesGravatar filliatr1999-12-07
* declarations eliminations / debuggae inductifs (debut)Gravatar filliatr1999-12-06
* abstraction type Gmapl.tGravatar filliatr1999-12-05
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* - global_reference traite des variablesGravatar filliatr1999-12-03
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* poursuite de VernacentriesGravatar filliatr1999-12-01
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* prvectiGravatar filliatr1999-11-26
* module TermastGravatar filliatr1999-11-26
* ajouts divers pour module PrinterGravatar filliatr1999-11-26
* MAJ pour fusion avec pretypingGravatar herbelin1999-11-24
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24
* Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsGravatar filliatr1999-11-24
* modules Indrec, Tacentries, HiddentacGravatar filliatr1999-11-23
* module WcclausenvGravatar filliatr1999-11-22
* module Pattern, Wcclausenv (interface) et TacticalsGravatar filliatr1999-11-19
* modules Bij, Gmapl, StockGravatar filliatr1999-11-19
* discriminations netsGravatar filliatr1999-11-19
* Sets et Maps avec egalite generiqueGravatar filliatr1999-11-18
* - répertoire tactics/Gravatar filliatr1999-10-22
* - module Redinfo dans library/ pour les constantes d'éliminationGravatar filliatr1999-10-22
* - documentation repertoire proofs/Gravatar filliatr1999-10-20
* modules Evar_refiner et Typing_evGravatar filliatr1999-10-20
* module RefinerGravatar filliatr1999-10-19
* mise en place module RefinerGravatar filliatr1999-10-18
* - re-introduction d'une evar_map dans unsafe_envGravatar filliatr1999-10-13
* time stampsGravatar filliatr1999-10-08
* deep_gp pour l'écriture dans un fichierGravatar filliatr1999-10-01
* module Bstack et EditGravatar filliatr1999-09-28
* ajout de divers fonctions dans lib/Gravatar filliatr1999-09-28
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* module LibraryGravatar filliatr1999-09-18
* modules System, Lib et StatesGravatar filliatr1999-09-10
* simplifications de codeGravatar filliatr1999-09-09
* implode codé avec String.concatGravatar filliatr1999-09-09
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-24 17:20:18 +0000