index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
interp
/
symbols.ml
Commit message (
Expand
)
Author
Age
*
Correction du bug 335 et Export/Require Export dans un module
coq
2003-10-07
*
cosmetique
herbelin
2003-10-01
*
Ajout 'Close Scope'.
herbelin
2003-09-30
*
Decouplage printing en v8 pour les interpretations de notations
herbelin
2003-09-26
*
parsing
herbelin
2003-09-19
*
Activation déclaration automatique de scope d'arguments
herbelin
2003-09-12
*
Extension de Locate sur les symboles avec recherche de sous-chaînes; mise en...
herbelin
2003-06-10
*
Prise en compte des syntaxes v8 dans Uninterpreted Notation
herbelin
2003-04-29
*
Ajout "at next level" dans Notation
herbelin
2003-04-17
*
Ajout option 'Local' à Infix et Notation
herbelin
2003-04-11
*
Application de l'absence d'export aux modules
herbelin
2003-04-08
*
Ajout option "Local" à "Open Scope"
herbelin
2003-04-08
*
Prise en compte des scopes traversés dans les notations
herbelin
2002-12-15
*
Préparation à la prise en compte des changements de scopes internes aux not...
herbelin
2002-12-03
*
Bug exception
herbelin
2002-11-28
*
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
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14