aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2005-03-18appel de Simplify depuis Coqcoq
2005-03-16tactiques prouveurs premier ordre dans contrib/dp/coq
2005-03-11Ajout de COQLIB/user-contrib à l'installation pour insister sur la possibili...herbelin
2005-03-01clean de parser.optherbelin
2005-02-18Moving centralised discharge into dispatched discharge_function; required to ...herbelin
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-02-03Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursherbelin
2005-02-01Application du patch ebuild coq-8.0-r1 de la gentoo (uniformisation du Makefile)herbelin
2005-01-25Ajout dependance LIBCOQRUN pour coqide et coq-interfaceherbelin
2005-01-21Modification cible doc/coq.tex pour tenir des .mli qui n'existent pas toujour...herbelin
2005-01-03HUGE COMMITsacerdot
2005-01-02Pour permettre le chargement des printers en ocamldebug >= 3.07 : renommage s...herbelin
2004-12-27Remplacement du coeur d'omega (omega.ml) par la version plus générale utili...herbelin
2004-12-25Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
2004-11-15bug coqmktop avec libcoqrun.a en bytecodebarras
2004-11-05autorewrite moved from HIGHTACTICS to TACTICS (to implement Printingsacerdot
2004-10-20COMMITED BYTECODE COMPILERbarras
2004-10-18Tacred après Typingherbelin
2004-09-26no-assert en mode natifherbelin
2004-09-23error if binder was already definedbarras
2004-09-22link order againbarras
2004-09-20pbs with link order and depsbarras
2004-09-17restructuration des printers: proofs passe avant parsingbarras
2004-09-17repaired depsbarras
2004-09-15hiding the meta_map in evar_defsbarras
2004-09-03deplacement de clenv vers pretypingbarras
2004-09-03premiere reorganisation de l\'unificationbarras
2004-08-26Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...herbelin
2004-07-27Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...herbelin
2004-07-20Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...herbelin
2004-07-19Indépendance de parser vis a vis de ocamlrunherbelin
2004-07-18Bugs make cleanherbelin
2004-07-17Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06herbelin
2004-07-16Typoherbelin
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
2004-07-16Suppression quotifyherbelin
2004-07-16Suppression compilation explication.ml4herbelin
2004-06-28more evar stuffcorbinea
2004-05-04Typoherbelin
2004-04-21pb install de pcoqbarras
2004-04-07preparation a la release 8.0barras
2004-03-29tools/coq_vo2xml removed since no longer in use.sacerdot
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-17install de coqdocbarras
2004-03-16typocoq
2004-03-16install de pcoq incorrect + spec rpmbarras
2004-03-16pages de man pour coqwc et coqdocfilliatr
2004-03-04ROmegamohring
2004-02-24coqdocfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 16:09:05 +0000