coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	filliatr	2003-10-04
*	maj	filliatr	2003-10-01
*	maj	filliatr	2003-09-27
*	maj	filliatr	2003-09-24
*	maj	filliatr	2003-09-23
*	traducteur: affiche les commentaires a l'interieur des commandes	barras	2003-09-22
*	maj	filliatr	2003-09-19
*	maj	filliatr	2003-09-17
*	maj	filliatr	2003-09-13
*	MAJ	herbelin	2003-09-12
*	maj	filliatr	2003-09-11
*	maj	filliatr	2003-09-10
*	maj	filliatr	2003-09-08
*	maj	filliatr	2003-09-03
*	maj	filliatr	2003-09-01
*	maj	filliatr	2003-08-15
*	maj	filliatr	2003-08-12
*	maj	filliatr	2003-07-24
*	maj	filliatr	2003-07-17
*	maj	filliatr	2003-07-12
*	Ground bugfix	corbinea	2003-07-11
*	maj	filliatr	2003-07-09
*	maj	filliatr	2003-07-03
*	suppression de newtauto	corbinea	2003-07-02
*	maj	filliatr	2003-06-28
*	maj	filliatr	2003-06-21
*	Ground Update.	corbinea	2003-06-20
*	maj	filliatr	2003-06-20
*	maj	filliatr	2003-06-17
*	Ground update	corbinea	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	Ground update	corbinea	2003-06-13
*	Ground update, new files.	corbinea	2003-06-13
*	maj	filliatr	2003-06-11
*	maj	filliatr	2003-06-09
*	maj	filliatr	2003-05-30
*	maj	filliatr	2003-05-27
*	moved engine.ml4 to ground.ml4, added option 'Ground Depth'	corbinea	2003-05-26
*	Ground and CCsolve updates	corbinea	2003-05-25
*	coqide: blaster 2	monate	2003-05-23
*	maj	filliatr	2003-05-23
*	maj	filliatr	2003-05-23
*	coqide: blaster V1	monate	2003-05-22
*	maj	filliatr	2003-05-22
*	maj	filliatr	2003-05-21
*	maj	filliatr	2003-05-20
*	maj	filliatr	2003-05-17
*	Major Ground tactic update, sensible performance improvement	corbinea	2003-05-16
*	maj	filliatr	2003-05-15
*	coqide: load/save file encoding support/	monate	2003-05-14