index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
interface
/
centaur.ml4
Commit message (
Expand
)
Author
Age
*
Globalisation des noms de tactiques dans les définitions de tactiques
herbelin
2003-04-07
*
*** empty log message ***
barras
2003-03-12
*
all tactics should be covered now: remains
bertot
2003-01-26
*
Inspect does not work for pcoq and there is no simple fix because inspect
bertot
2003-01-24
*
Make sure proof by pointing works.
bertot
2003-01-23
*
removes all references to ctast.ml the Makefile has been updated accordingly.
bertot
2003-01-22
*
Ajout du vernac Proof with
gregoire
2002-12-12
*
la table PARAMETER n'existe plus (mergé dans la table CONSTANT)
letouzey
2002-12-03
*
Etape intermédiaire d'adaptation de la connexion à pcoq aux nouvelles
bertot
2002-12-03
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Intégration des modifs de la branche mowgli :
herbelin
2002-11-05
*
Previous version did compile but did not make it possible to actually run
bertot
2002-10-03
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...
herbelin
2002-06-05
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29