coq - The formal proof system

Age	Commit message (Expand)	Author
2005-02-18	Ajout constant printer	herbelin
2005-01-02	Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...	herbelin
2004-12-29	Ajout printer bigint	herbelin
2004-11-12	Changement dans les boxed values .	gregoire
2004-10-20	COMMITED BYTECODE COMPILER	barras
2003-04-07	Ajout translate	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-02-15	petits changements cosmetiques sur les tactiques	barras
2001-08-10	Parsing	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-05-15	Modification pour passage p-automates	mohring
2001-05-10	ajout d'un afficher de contexte et d'une fonction constbody_of_string	letouzey
2001-04-03	Make sure that the COQTOP variable is really used, when it is set.	bertot
2000-12-15	Printer	mohring
2000-12-04	Ajout de constr_of_string	mohring
2000-04-17	Prise en compte du renommage des fonctions de Astterm	herbelin
2000-01-07	Restructuration printer et parser	herbelin
1999-12-14	pretty-printers pour le debugger	filliatr
1999-12-03	renommage pour eviter pbm avec ocamldep (syntax error)	filliatr