aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/vernacinterp.ml
Commit message (Expand)AuthorAge
* Adding a possible DEPRECATED flag to VERNAC EXTEND statements.Gravatar Pierre-Marie Pédrot2015-02-19
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* VernacExtend does not dispatch on type anymore.Gravatar Pierre-Marie Pédrot2014-09-10
* More comments in Genarg.Gravatar ppedrot2013-06-06
* More functional implementation of locality_flag and program_modeGravatar gareuselesinge2013-04-15
* Vernac+Toplevel: get rid of Error_in_fileGravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 13)Gravatar letouzey2013-03-13
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Partial revert of Yann commit in order to use CLib.List when openingGravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Getting rid of Pp.msgnl and Pp.message.Gravatar ppedrot2012-06-01
* Vernacexpr is now a mli-only file, locality stuff now in locality.mlGravatar letouzey2012-05-29
* Noise for nothingGravatar pboutill2012-03-02
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...Gravatar letouzey2009-12-08
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Nouvelle en-têteGravatar herbelin2004-07-16
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* compat ocaml 3.03Gravatar filliatr2001-12-13
* TransparentGravatar barras2001-09-20
* Suppression des library roots, on teste si un nom est absolu autrementGravatar herbelin2001-09-07
* ParsingGravatar herbelin2001-08-10
* entetesGravatar filliatr2001-03-15
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...Gravatar herbelin2000-11-22
* Prise en compte des noms qualifiés dans certaines commandesGravatar herbelin2000-11-20
* Ajout d'un switch pour le debuggerGravatar delahaye2000-10-30
* Bugs/Messages d'erreursGravatar herbelin2000-06-02
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Renommage command en constrGravatar herbelin2000-01-07
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24