aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend
Commit message (Expand)AuthorAge
* SearchPattern et SearchRewriteGravatar filliatr2000-11-24
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23
* MAJGravatar herbelin2000-11-23
* retablissement de line_oriented_parser pour YvesGravatar filliatr2000-11-22
* des proofs/macros qui trainaient dans le Makefile et le .dependGravatar filliatr2000-11-22
* separation calcul des implicites et declaration des constantes / inductifs / ...Gravatar filliatr2000-11-21
* MAJGravatar herbelin2000-11-20
* mise a jourGravatar filliatr2000-11-09
* MAJGravatar herbelin2000-11-06
* nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...Gravatar filliatr2000-11-06
* MAJGravatar herbelin2000-11-05
* MAJGravatar herbelin2000-11-05
* Few OCaml files in contrib/xmlGravatar sacerdot2000-11-03
* compilation avec make de Solaris; README et INSTALLGravatar filliatr2000-11-03
* correction Abstract (et make world passe!)Gravatar filliatr2000-11-02
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* Ajouts pour les tactiques utilisateurGravatar delahaye2000-10-30
* ntrefiner.ml* removed in module xmlGravatar sacerdot2000-10-26
* xml contribution added to the MakefileGravatar sacerdot2000-10-25
* MAJGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-06
* mise a jour dependancesGravatar filliatr2000-09-18
* MAJGravatar herbelin2000-09-14
* MAJGravatar herbelin2000-09-12
* Suppression de AbstGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* kernel/type_errors.mlGravatar herbelin2000-09-06
* retablissement make doc et make minicoqGravatar filliatr2000-07-25
* MAJGravatar herbelin2000-07-24
* Pattern -> parsingGravatar delahaye2000-07-21
* portage RefineGravatar filliatr2000-07-20
* MAJGravatar herbelin2000-06-29
* portage EAuto et RingGravatar filliatr2000-06-21
* MAJGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* MAJGravatar herbelin2000-05-18
* Intégration de leminvGravatar herbelin2000-05-05
* MAJGravatar herbelin2000-05-04
* MAJGravatar herbelin2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* MAJGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-28
* portage Omega (code seulement)Gravatar filliatr2000-04-28
* MAJGravatar herbelin2000-04-26
* - bug make_module_marker (plus de # et de .obj maintenant)Gravatar filliatr2000-03-21
* MAJGravatar herbelin2000-03-21
* MAJGravatar herbelin2000-03-21
* TautoGravatar filliatr2000-03-20
* MAJGravatar herbelin2000-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 06:47:03 +0000