aboutsummaryrefslogtreecommitdiff
path: root/contrib/interface/dad.ml
AgeCommit message (Expand)Author
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2008-12-29- Added support for subterm matching in SearchAbout.herbelin
2006-10-09Notations:herbelin
2005-12-26Achèvement suppression traducteur dans contrib/interfaceherbelin
2004-07-18Abstraction vis a vis du type loc pour ocaml 3.08herbelin
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-04-07Globalisation des noms de tactiques dans les définitions de tactiquesherbelin
2003-01-22removes all references to ctast.ml the Makefile has been updated accordingly.bertot
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-12-19contrib/interface/dad.ml4 had no real need of streams, it should have beenbertot
2001-12-19reparation du make depend et du .dependletouzey
2001-12-13compat ocaml 3.03filliatr
2001-11-05GROS COMMIT:barras
2001-08-10Prsingherbelin
2001-05-29Facilites pour le debogguage des univers.coq
2001-04-04Files that handle the dialogue with the graphical user-interface pcoq.bertot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:26:16 +0000