aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* Ajouts pour les tactiques utilisateurGravatar delahaye2000-10-30
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* ntrefiner.ml* removed in module xmlGravatar sacerdot2000-10-26
* xml contribution added to the MakefileGravatar sacerdot2000-10-25
* MAJGravatar herbelin2000-10-18
* mise a jour dependancesGravatar filliatr2000-09-18
* Suppression Redinfo Sosub AbstractionGravatar herbelin2000-09-14
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Pattern -> parsingGravatar delahaye2000-07-21
* portage RefineGravatar filliatr2000-07-20
* Adaptation pour Alpha.Gravatar delahaye2000-07-05
* Adaptation pour alpha.Gravatar delahaye2000-07-05
* Utilisation du STRIP de config/Makefile pour gérer le mode profileGravatar herbelin2000-06-29
* portage EAuto et RingGravatar filliatr2000-06-21
* dependance des CONTRIBVO envers initial.coqGravatar filliatr2000-06-12
* Changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* Restructuration des outils pour les inductifs.Gravatar herbelin2000-05-18
* Intégration de leminvGravatar herbelin2000-05-05
* Vernacinterp passe après CommandGravatar herbelin2000-05-04
* nettoyage (quelques oublis dans make clean)Gravatar filliatr2000-05-03
* compilation bytecode / native :Gravatar filliatr2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* MAJGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-28
* portage Omega (code seulement)Gravatar filliatr2000-04-28
* portage en ocaml / camlp4 3.00Gravatar filliatr2000-04-28
* Débranchement provisoire equality et tautoGravatar herbelin2000-04-26
* Compilation pbs (coqc not finding coqtop, coqc not finding .vo whenGravatar courant2000-04-21
* - bug make_module_marker (plus de # et de .obj maintenant)Gravatar filliatr2000-03-21
* TautoGravatar filliatr2000-03-20
* ZArithGravatar filliatr2000-03-18
* on ne compile pas Div.v (Realizer)Gravatar filliatr2000-03-18
* theories/BoolGravatar filliatr2000-03-16
* Eqdep_dec doit etre compileGravatar filliatr2000-03-10
* compilation theories/ArithGravatar filliatr2000-03-10
* Ajout theories/Logic/*.voGravatar herbelin2000-03-08
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Nettoyage des fichiers de parsingGravatar herbelin2000-01-13
* Ajout de RecordGravatar herbelin2000-01-11
* Restructuration diversesGravatar herbelin2000-01-07
* pretty-printers pour le debuggerGravatar filliatr1999-12-14
* - états fabriqués avec -silentGravatar filliatr1999-12-13
* chemin compile des fichiers CoqGravatar filliatr1999-12-13
* documentationGravatar filliatr1999-12-13
* modules et coqcGravatar filliatr1999-12-12
* mise en place des outilsGravatar filliatr1999-12-11
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-04 07:56:16 +0000