index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
parsing
/
ppconstr.ml
Commit message (
Expand
)
Author
Age
*
Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern
herbelin
2003-05-19
*
Globalisation des noms de tactiques dans les définitions de tactiques
herbelin
2003-04-07
*
*** empty log message ***
barras
2003-03-12
*
Retour vieil afficheur
herbelin
2003-03-03
*
Retour nouvel afficheur
herbelin
2003-02-27
*
Rétablissement pr_pattern
herbelin
2003-01-19
*
Retour printer ast pour V7.4
herbelin
2003-01-07
*
Affinement affichage
herbelin
2002-12-21
*
Quelques bugs d'affichage; mise en place du nouveau printer de vieille syntaxe
herbelin
2002-12-15
*
Bugs divers
herbelin
2002-12-10
*
Problèmes et améliorations affichage; Changement Simpl
herbelin
2002-12-09
*
Correction divers bugs d'affichage; explicitation du niveau de grammaire quan...
herbelin
2002-12-04
*
bugs d'affichage (confusion key/scope dans les délimiteurs)
herbelin
2002-12-03
*
Re-déplacement du résultat de Grammar au niveau constr_expr
herbelin
2002-12-02
*
Réaffichage des Syntactic Definition (printer constr_expr).
herbelin
2002-11-26
*
Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...
herbelin
2002-11-24
*
Passage à une représentation des fixpoints plus primitive dans constr_expr ...
herbelin
2002-11-15
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
passage a ocaml 3.06
herbelin
2002-09-27
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Finalement un seul constr pour l'instant dans ExtraRedExpr
herbelin
2002-05-30
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29