aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* Ajout g_xml.ml4 et cic2Xml.mlGravatar herbelin2005-02-04
* Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursGravatar herbelin2005-02-03
* Application du patch ebuild coq-8.0-r1 de la gentoo (uniformisation du Makefile)Gravatar herbelin2005-02-01
* Ajout dependance LIBCOQRUN pour coqide et coq-interfaceGravatar herbelin2005-01-25
* Modification cible doc/coq.tex pour tenir des .mli qui n'existent pas toujour...Gravatar herbelin2005-01-21
* HUGE COMMITGravatar sacerdot2005-01-03
* Pour permettre le chargement des printers en ocamldebug >= 3.07 : renommage s...Gravatar herbelin2005-01-02
* Remplacement du coeur d'omega (omega.ml) par la version plus générale utili...Gravatar herbelin2004-12-27
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-25
* Names.substitution (and related functions) and Term.subst_mps moved toGravatar sacerdot2004-11-16
* bug coqmktop avec libcoqrun.a en bytecodeGravatar barras2004-11-15
* autorewrite moved from HIGHTACTICS to TACTICS (to implement PrintingGravatar sacerdot2004-11-05
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Tacred après TypingGravatar herbelin2004-10-18
* no-assert en mode natifGravatar herbelin2004-09-26
* error if binder was already definedGravatar barras2004-09-23
* link order againGravatar barras2004-09-22
* pbs with link order and depsGravatar barras2004-09-20
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* repaired depsGravatar barras2004-09-17
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* deplacement de clenv vers pretypingGravatar barras2004-09-03
* premiere reorganisation de l\'unificationGravatar barras2004-09-03
* Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...Gravatar herbelin2004-08-26
* Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...Gravatar herbelin2004-07-27
* Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...Gravatar herbelin2004-07-20
* Indépendance de parser vis a vis de ocamlrunGravatar herbelin2004-07-19
* Bugs make cleanGravatar herbelin2004-07-18
* Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06Gravatar herbelin2004-07-17
* TypoGravatar herbelin2004-07-16
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Suppression quotifyGravatar herbelin2004-07-16
* Suppression compilation explication.ml4Gravatar herbelin2004-07-16
* more evar stuffGravatar corbinea2004-06-28
* TypoGravatar herbelin2004-05-04
* pb install de pcoqGravatar barras2004-04-21
* preparation a la release 8.0Gravatar barras2004-04-07
* tools/coq_vo2xml removed since no longer in use.Gravatar sacerdot2004-03-29
* ProofTree2Xml is no longer directly used by Xmlcommand.Gravatar sacerdot2004-03-25
* install de coqdocGravatar barras2004-03-17
* typoGravatar coq2004-03-16
* install de pcoq incorrect + spec rpmGravatar barras2004-03-16
* pages de man pour coqwc et coqdocGravatar filliatr2004-03-16
* ROmegaGravatar mohring2004-03-04
* coqdocGravatar filliatr2004-02-24
* files from contrib/interface need files from contrib/field, the variableGravatar bertot2004-02-19
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* Mauvaise dependance en states7/initial.coqGravatar herbelin2004-02-12
* clean-ide plus precisGravatar herbelin2004-02-04
* reorganize the order of librairies in the entry CMO to make sure this canGravatar bertot2004-02-02