coq - The formal proof system

Age	Commit message (Expand)	Author
2005-01-02	Pour permettre le chargement des printers en ocamldebug >= 3.07 : renommage s...	herbelin
2004-12-27	Remplacement du coeur d'omega (omega.ml) par la version plus générale utili...	herbelin
2004-12-25	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin
2004-11-16	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot
2004-11-15	bug coqmktop avec libcoqrun.a en bytecode	barras
2004-11-05	autorewrite moved from HIGHTACTICS to TACTICS (to implement Printing	sacerdot
2004-10-20	COMMITED BYTECODE COMPILER	barras
2004-10-18	Tacred après Typing	herbelin
2004-09-26	no-assert en mode natif	herbelin
2004-09-23	error if binder was already defined	barras
2004-09-22	link order again	barras
2004-09-20	pbs with link order and deps	barras
2004-09-17	restructuration des printers: proofs passe avant parsing	barras
2004-09-17	repaired deps	barras
2004-09-15	hiding the meta_map in evar_defs	barras
2004-09-03	deplacement de clenv vers pretyping	barras
2004-09-03	premiere reorganisation de l\'unification	barras
2004-08-26	Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...	herbelin
2004-07-27	Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...	herbelin
2004-07-20	Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...	herbelin
2004-07-19	Indépendance de parser vis a vis de ocamlrun	herbelin
2004-07-18	Bugs make clean	herbelin
2004-07-17	Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06	herbelin
2004-07-16	Typo	herbelin
2004-07-16	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin
2004-07-16	Suppression quotify	herbelin
2004-07-16	Suppression compilation explication.ml4	herbelin
2004-06-28	more evar stuff	corbinea
2004-05-04	Typo	herbelin
2004-04-21	pb install de pcoq	barras
2004-04-07	preparation a la release 8.0	barras
2004-03-29	tools/coq_vo2xml removed since no longer in use.	sacerdot
2004-03-25	ProofTree2Xml is no longer directly used by Xmlcommand.	sacerdot
2004-03-17	install de coqdoc	barras
2004-03-16	typo	coq
2004-03-16	install de pcoq incorrect + spec rpm	barras
2004-03-16	pages de man pour coqwc et coqdoc	filliatr
2004-03-04	ROmega	mohring
2004-02-24	coqdoc	filliatr
2004-02-19	files from contrib/interface need files from contrib/field, the variable	bertot
2004-02-18	- fixed the Assert_failure error in kernel/modops	barras
2004-02-12	Mauvaise dependance en states7/initial.coq	herbelin
2004-02-04	clean-ide plus precis	herbelin
2004-02-02	reorganize the order of librairies in the entry CMO to make sure this can	bertot
2004-01-27	meilleure separation de compil et install de coq, coqide et coq-interface	barras
2004-01-27	Correction des cibles des theories indviduelles	herbelin
2004-01-26	deplacement des cma et cmxa dans les sous-repertoires	barras
2004-01-21	Deplacement lexer pour dependance dans constrintern	herbelin
2004-01-20	coqide utf8	marche
2004-01-16	ajoute une option -linkall dans compilation de bin/parser pour assurer que	bertot