coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot	2004-11-16
*	bug coqmktop avec libcoqrun.a en bytecode	barras	2004-11-15
*	autorewrite moved from HIGHTACTICS to TACTICS (to implement Printing	sacerdot	2004-11-05
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	Tacred après Typing	herbelin	2004-10-18
*	no-assert en mode natif	herbelin	2004-09-26
*	error if binder was already defined	barras	2004-09-23
*	link order again	barras	2004-09-22
*	pbs with link order and deps	barras	2004-09-20
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	repaired deps	barras	2004-09-17
*	hiding the meta_map in evar_defs	barras	2004-09-15
*	deplacement de clenv vers pretyping	barras	2004-09-03
*	premiere reorganisation de l\'unification	barras	2004-09-03
*	Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...	herbelin	2004-08-26
*	Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...	herbelin	2004-07-27
*	Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...	herbelin	2004-07-20
*	Indépendance de parser vis a vis de ocamlrun	herbelin	2004-07-19
*	Bugs make clean	herbelin	2004-07-18
*	Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06	herbelin	2004-07-17
*	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-07-16
*	more evar stuff	corbinea	2004-06-28
*	Typo	herbelin	2004-05-04
*	pb install de pcoq	barras	2004-04-21
*	preparation a la release 8.0	barras	2004-04-07
*	tools/coq_vo2xml removed since no longer in use.	sacerdot	2004-03-29
*	ProofTree2Xml is no longer directly used by Xmlcommand.	sacerdot	2004-03-25
*	install de coqdoc	barras	2004-03-17
*	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-16
*	ROmega	mohring	2004-03-04
*	coqdoc	filliatr	2004-02-24
*	files from contrib/interface need files from contrib/field, the variable	bertot	2004-02-19
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
*	Mauvaise dependance en states7/initial.coq	herbelin	2004-02-12
*	clean-ide plus precis	herbelin	2004-02-04
*	reorganize the order of librairies in the entry CMO to make sure this can	bertot	2004-02-02
*	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-27
*	deplacement des cma et cmxa dans les sous-repertoires	barras	2004-01-26
*	Deplacement lexer pour dependance dans constrintern	herbelin	2004-01-21
*	coqide utf8	marche	2004-01-20
*	ajoute une option -linkall dans compilation de bin/parser pour assurer que	bertot	2004-01-16
*	make libraries, lexing of more utf8 symbols	marche	2004-01-14
*	Suppression de Rsyntax en v8	herbelin	2004-01-13
*	Ajout cible install-ide	herbelin	2004-01-08