aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/dumpglob.mli
Commit message (Expand)AuthorAge
* Export type_of_global_ref (useful for external users of glob files)Gravatar Enrico Tassi2014-07-11
* Have the feedback bus as a backend for dumping globs.Gravatar Carst Tankink2014-04-10
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* Updating headers.Gravatar herbelin2012-08-08
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Avoid Dumpglob dependency on LexerGravatar letouzey2012-05-29
* global_reference migrated from Libnames to new Globnames, less deps in gramma...Gravatar letouzey2012-05-29
* New files intf/constrexpr.mli and intf/notation_term.mli out of TopconstrGravatar letouzey2012-05-29
* Noise for nothingGravatar pboutill2012-03-02
* Added checksums to glob files and warned about possibly missingGravatar herbelin2011-10-29
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Constrintern: unified push_name_env and push_loc_name_env; madeGravatar herbelin2010-07-22
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Suite commit 11236Gravatar notin2008-07-24