coq - The formal proof system

Age	Commit message (Expand)	Author
2001-11-07	Refonte du fichier mlutil.ml. Correction d'un bug d'optim case	letouzey
2001-11-06	suite des tests	letouzey
2001-11-05	refonte du test	letouzey
2001-11-03	changement epsilonesque	letouzey
2001-11-03	retablissement de l'optim case constant	letouzey
2001-11-03	ajout du script qualify2open qui met des open Truc en debut de fichier	letouzey
2001-10-26	Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...	letouzey
2001-10-22	chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...	letouzey
2001-09-20	changements mineurs du test	letouzey
2001-09-19	adaptation a la nouvelle syntaxe Extract Inlined Constant	letouzey
2001-09-10	changement du make depend en vu du make reals	letouzey
2001-06-22	2 bugs: typevarlist pour inductifs + args pour flexibles	letouzey
2001-05-14	mise en place extraction haskell	filliatr
2001-05-09	nettoyage extraction	filliatr
2001-04-25	make reals prend en compte tous les .vo de theories/Reals	filliatr
2001-04-24	TODO in v.o., test/Makefile moins pire, README avec ref	letouzey
2001-04-24	Ajout du .depend	mohring
2001-04-24	Retire theories/Num	mohring
2001-04-24	Fin d'optimisation (cas modules) + warning pour coind & ocaml	letouzey
2001-04-23	mise a jour	letouzey
2001-04-23	realisation des reals	letouzey
2001-04-23	Remaniement Makefile de test. make reals possible	letouzey
2001-04-19	scripts; extraction False_rec	filliatr
2001-04-19	blindage False_rec	filliatr
2001-04-19	modifs des scripts de test auto	filliatr
2001-04-19	script de bench automatique pour extraction	letouzey
2001-04-13	eliminiation des singletons du genre sig + divers	letouzey
2001-03-30	repertoire pour les tests d'extraction	filliatr