index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
interface
/
dad.ml
Commit message (
Expand
)
Author
Age
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
- Added support for subterm matching in SearchAbout.
herbelin
2008-12-29
*
Notations:
herbelin
2006-10-09
*
Achèvement suppression traducteur dans contrib/interface
herbelin
2005-12-26
*
Abstraction vis a vis du type loc pour ocaml 3.08
herbelin
2004-07-18
*
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
*
removes all references to ctast.ml the Makefile has been updated accordingly.
bertot
2003-01-22
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
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
*
contrib/interface/dad.ml4 had no real need of streams, it should have been
bertot
2001-12-19
*
reparation du make depend et du .depend
letouzey
2001-12-19
*
compat ocaml 3.03
filliatr
2001-12-13
*
GROS COMMIT:
barras
2001-11-05
*
Prsing
herbelin
2001-08-10
*
Facilites pour le debogguage des univers.
coq
2001-05-29
*
Files that handle the dialogue with the graphical user-interface pcoq.
bertot
2001-04-04