aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/dumpglob.mli
Commit message (Expand)AuthorAge
* [api] Move `Vernacexpr` to parsing.Gravatar Emilio Jesus Gallego Arias2018-05-23
* [api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Gravatar Emilio Jesus Gallego Arias2018-05-04
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
* [api] Deprecate all legacy uses of Names in core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* Allow declaring universe constraints at definition level.Gravatar Matthieu Sozeau2017-09-19
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [location] Make location optional in Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-25
* coqc -o now places .glob file near .vo fileGravatar Enrico Tassi2016-09-22
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* 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