index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
command.mli
Commit message (
Expand
)
Author
Age
*
Uniformisation des 'Save def_tok id'
herbelin
2001-04-09
*
entetes
filliatr
2001-03-15
*
Prise en compte des noms longs dans les Hints et les Coercions, et réorganis...
herbelin
2001-01-24
*
Réorganisation suite ajout de constantes locales dans les Records
herbelin
2001-01-24
*
Ajout du Let pour le langage de tactiques
delahaye
2000-12-29
*
Découpage des différentes fonctionnalités de build_mutual et definition_st...
herbelin
2000-12-19
*
syntaxe AST Inversion + commentaires ocamlweb autour de $
filliatr
2000-12-12
*
Distinction local/global
herbelin
2000-11-27
*
Renommage canonique :
herbelin
2000-10-18
*
Déplacement de save_thm and co de PFedit vers Command
herbelin
2000-05-25
*
export get_current_context
herbelin
2000-05-18
*
Nettoyage de l'interface de Pfedit
herbelin
2000-05-04
*
Nettoyage des fichiers de parsing
herbelin
2000-01-13
*
Les inductifs dans Scheme doivent être des ident d'inductifs
herbelin
1999-12-15
*
documentation interfaces
filliatr
1999-12-13
*
modifs pour premiere edition de liens
filliatr
1999-12-02
*
module Command
filliatr
1999-12-02
*
module Metasyntax
filliatr
1999-12-01