coq - The formal proof system

Age	Commit message (Expand)	Author
2001-02-14	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin
2001-02-14	Restructuration	herbelin
2001-02-09	option -m (utilisation memoire)	filliatr
2001-02-08	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr
2001-02-05	calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)	filliatr
2001-02-02	Retire le warning stat	mohring
2001-01-31	Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...	herbelin
2001-01-24	Ajout flush, divers	herbelin
2001-01-24	Protection contre l'échec de Unix.stat	herbelin
2001-01-19	Bugs encore	herbelin
2001-01-15	Raffinements	herbelin
2001-01-14	Petit bug encore	herbelin
2001-01-14	Bien sûr: bugs sur précédent commit; améliorations	herbelin
2001-01-14	Prise en compte de l'allocation mémoire et affichage des résultats net du s...	herbelin
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-12-06	Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)	herbelin
2000-11-29	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot
2000-11-29	Code mort	herbelin
2000-11-29	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin
2000-11-28	Hack pour contourner CVS en local dans la recherche rcursive de load_path	herbelin
2000-11-28	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin
2000-11-15	Changed the semantics of AddRecPath.	sacerdot
2000-11-09	all_subdirs teste si son argument est un repertoire; sinon ne fait rien	filliatr
2000-11-08	nouveau load path	filliatr
2000-11-06	nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...	filliatr
2000-10-19	Use UTF-8 as default encoding for computing length of strings in pretty	miquel
2000-10-11	Bug dans [prvecti v] quand v est vide	herbelin
2000-09-10	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path	herbelin
2000-07-01	Le bon type pour list_fold_right_and_left	herbelin
2000-06-30	fonction list_fold_left_right pas definie	filliatr
2000-06-29	Ajout list_fold_right_and_left	herbelin
2000-06-21	bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...	filliatr
2000-06-21	portage EAuto et Ring	filliatr
2000-05-31	doc	herbelin
2000-05-05	Achèvement nettoyage Pfedit	herbelin
2000-05-04	Nettoyage de l'interface de Pfedit	herbelin
2000-05-03	Ajout du langage de tactiques	delahaye
2000-03-07	Ajout matrix_transpose	herbelin
2000-01-26	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
1999-12-12	modules et coqc	filliatr
1999-12-09	Discharge (encore bugge)	filliatr
1999-12-07	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr
1999-12-06	declarations eliminations / debuggae inductifs (debut)	filliatr
1999-12-05	abstraction type Gmapl.t	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
1999-12-03	- global_reference traite des variables	filliatr
1999-12-02	modifs pour premiere edition de liens	filliatr
1999-12-01	poursuite de Vernacentries	filliatr
1999-11-26	module Classops; ajout de fonctions dans Declare en consequence	filliatr