index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
Commit message (
Expand
)
Author
Age
*
petits changements de syntaxe
barras
2003-11-12
*
'as' avant 'using' dans 'destruct'
herbelin
2003-11-09
*
Oubli
herbelin
2003-11-05
*
MAJ
herbelin
2003-11-05
*
MAJ
herbelin
2003-11-05
*
*** empty log message ***
barras
2003-11-04
*
nouvelles priorites + Hints
barras
2003-10-22
*
*** empty log message ***
barras
2003-10-21
*
*** empty log message ***
barras
2003-10-20
*
nouvelle syntaxe de ltac
barras
2003-10-16
*
lettac -> set
barras
2003-10-16
*
*** empty log message ***
barras
2003-10-16
*
mise a jour nouvelle syntaxe
barras
2003-10-11
*
*** empty log message ***
barras
2003-10-03
*
About, Infix
herbelin
2003-09-26
*
MAJ
herbelin
2003-09-22
*
Ajout nouvelles commandes
herbelin
2003-09-12
*
MAJ
herbelin
2003-09-06
*
Relachement conflit 'with' dans le cas des Module with Definition
herbelin
2003-09-02
*
Syntaxe des constructeurs et des hypotheses
herbelin
2003-08-31
*
MAJ
herbelin
2003-08-11
*
Added new syntax definition
barras
2003-06-06
*
release 7.4; changement magic number
filliatr
2003-02-03
*
exemple complet de parser
barras
2002-12-17
*
MAJ travail moulinette
herbelin
2002-12-03
*
pseudo-parser ocamlyacc de la nouvelle syntaxe
barras
2002-11-26
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Moulinette
herbelin
2002-11-03
*
Divers
herbelin
2002-11-03
*
Bugs
herbelin
2002-10-29
*
Ajout d'infixes
herbelin
2002-10-19
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
MAJ V7.3
herbelin
2002-05-16
*
Ajout remarques diverses et tactiques
herbelin
2002-04-17
*
package camlindent inutilise
barras
2002-04-10
*
maj newsyntax
barras
2002-02-04
*
MAJ V7.2
herbelin
2001-12-21
*
ajout du document sur la nouvelle syntaxe
barras
2001-12-11
*
document sur les propositions de nouvelle syntaxe
barras
2001-12-11
*
Mise a jour des dependances
clrenard
2001-11-29
*
MAJ après restructuration kernel
herbelin
2001-11-09
*
MAJ de graphes de dependance pour la doc des sources
coq
2001-04-24
*
mise a jour
filliatr
2001-04-02
*
mise a jour
filliatr
2001-02-14
*
nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...
filliatr
2000-11-06
*
Minor correction for Ocamlweb + doc update
coq
2000-09-14
*
dvips -o ==> dvips -o $@
coq
2000-07-26
*
doc
herbelin
2000-06-02
*
documentation
filliatr
1999-12-13
[next]