aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2001-04-24Ajout de Rseries et Rtrigo_funmayero
2001-04-20Ajout Fourier, DiscrR, ...mayero
2001-04-20support option -R pour coqdepfilliatr
2001-04-19Zarith -> ZArithfilliatr
2001-04-19Ajout de Fielddelahaye
2001-04-09branchement extraction en standard (pas de Require)filliatr
2001-04-08Ajout lemmes arithmetiquesmohring
2001-04-05mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4filliatr
2001-04-04Added two files that are used for the connection with the graphical user-inte...bertot
2001-03-30branchement extraction (bytecode seulement)filliatr
2001-02-08simplification du make depend; fonctions de stat. util. memoire dans certains...filliatr
2001-02-05calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)filliatr
2000-11-29mise a jourfilliatr
2000-11-26MAJherbelin
2000-11-21ajout de theories/Wellfoundedfilliatr
2000-11-21separation calcul des implicites et declaration des constantes / inductifs / ...filliatr
2000-11-20MAJherbelin
2000-11-15mise a jourfilliatr
2000-11-10Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...herbelin
2000-11-07Modification de la table des tactic Definitions pour eviter l'ecrituremohring
2000-11-05MAJherbelin
2000-11-03Few OCaml files in contrib/xmlsacerdot
2000-10-26ntrefiner.ml* removed in module xmlsacerdot
2000-10-25xml contribution added to the Makefilesacerdot
2000-09-18mise a jour dependancesfilliatr
2000-07-20portage Refinefilliatr
2000-06-21portage EAuto et Ringfilliatr
2000-06-12mise a jourfilliatr
2000-05-02portage Omega (mais toujours pas Zpower et Zlogarithm)filliatr
2000-04-28portage en ocaml / camlp4 3.00filliatr
2000-03-20Tautofilliatr
2000-03-18ZArithfilliatr
2000-03-18bug discharge (work_alist contenanti plein de fois les memes choses)filliatr
2000-03-10compilation theories/Arithfilliatr
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
2000-01-07Restructuration diversesherbelin
1999-12-13documentationfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 12:45:31 +0000