coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin	2008-07-18
*	Affichage intempestif d'information de globalisation + numéro de version dan...	notin	2008-07-18
*	fixed indentation of subgoals for Show Script	barras	2008-07-17
*	Uniformisation du format des messages d'erreur (commencent par une	herbelin	2008-07-17
*	Suite de la révision #11212	notin	2008-07-08
*	Utilisation de try_locate_qualified_library au lieu de locate_qualified_libra...	notin	2008-07-07
*	- Improve [Context] vernacular to allow arbitrary binders, not just	msozeau	2008-07-07
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25
*	Enhancements to coqdoc, better globalization of sections and modules.	msozeau	2008-06-06
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	Improvements on coqdoc by adding more information into .glob	msozeau	2008-05-30
*	- Nouvelle option "Set Printing Existential Instances" pour forcer	herbelin	2008-05-25
*	Strategy commands are now exported	barras	2008-05-22
*	refined the conversion oracle	barras	2008-05-21
*	- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to	msozeau	2008-05-12
*	Correction bug #1842 + correction bug initialisation introduit dans	herbelin	2008-05-10
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin	2008-04-25
*	- Add "Global" modifier for instances inside sections with the usual	msozeau	2008-04-15
*	Adding 'at' to rewrite, as it is already implemented in setoid_rewrite.	msozeau	2008-04-12
*	- Retour en arrière sur la capacité du nouvel apply à utiliser les	herbelin	2008-04-05
*	Add the ability to specify the implicit status of section variables and	msozeau	2008-04-02
*	Fix a bug found by B. Grégoire when declaring morphisms in module	msozeau	2008-03-23
*	Do another pass on the typeclasses code. Correct globalization of class	msozeau	2008-03-19
*	Syntax changes in typeclasses, remove "?" for usual implicit arguments	msozeau	2008-03-06
*	Proper implicit arguments handling for assumptions	msozeau	2008-02-26
*	Merge with lmamane's private branch:	lmamane	2008-02-22
*	Beaoucoup de changements dans la representation interne des modules.	soubiran	2008-02-01
*	Change notation for setoid inequality, coerce objects before comparing them. ...	msozeau	2008-01-18
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Print Assumptions est pret pour la release.	aspiwack	2007-12-17
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Nettoyage de Print Assumptions :	aspiwack	2007-11-09
*	Prise en compte des notations "alias" dans la globalisation des coercions.	herbelin	2007-11-08
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	Nouveaux changements autour des implicites (notamment suite à	herbelin	2007-05-06
*	Multiples changements autour des implicites :	herbelin	2007-04-29
*	New keyword "Inline" for Parameters and Axioms for automatic	soubiran	2007-04-25
*	bug#1434 importing fonctor arguments, now it works.	soubiran	2007-03-09
*	Suppression d'un résidu de la syntaxe v7 (Print Grammar avec univ)	herbelin	2007-02-24
*	Merge from Lionel Elie Mamane's private branch:	lmamane	2007-01-10
*	Nouvelle approche pour le discharge modulaire	herbelin	2007-01-10
*	Addition of a "Combined Scheme" vernacular command for building the conjuncti...	msozeau	2006-12-23
*	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin	2006-11-21
*	Ajout option Set Printing Universes et amélioration affichage des univers	herbelin	2006-10-28
*	bug #1194: normalisation evars a la sortie de focus	barras	2006-10-23
*	Add a flush after backtracking x y z and before printing subgoals.	courtieu	2006-10-23
*	Declarative Proof Language: main commit	corbinea	2006-09-20