index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
library
/
globnames.mli
Age
Commit message (
Expand
)
Author
2021-03-26
[recordops] complete API rewrite; the module is now called [structures]
Enrico Tassi
2020-04-13
pass filters around
Gaëtan Gilbert
2020-04-13
Add ExtRefMap/Set to globnames
Gaëtan Gilbert
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-02-12
Standardize constr -> globref operations to use destRef/isRef/isRefX
Gaëtan Gilbert
2020-01-28
Remove dead code in Globnames.
Pierre-Marie Pédrot
2019-11-21
[coq] Untabify the whole ML codebase.
Emilio Jesus Gallego Arias
2019-07-08
[api] Deprecate GlobRef constructors.
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-05-10
[api] Remove 8.10 deprecations.
Emilio Jesus Gallego Arias
2018-12-05
Fix mod_subst wrt universe polymorphism
Gaëtan Gilbert
2018-10-05
[kernel] Remove section paths from `KerName.t`
Maxime Dénès
2018-09-12
Move maps & sets indexed by GlobRef.t into the kernel
Vincent Laporte
2018-05-30
[api] Remove deprecated objects in engine / interp / library
Emilio Jesus Gallego Arias
2018-05-04
[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.
Emilio Jesus Gallego Arias
2018-03-09
Allow using cumulativity without forcing strict constraints.
Gaëtan Gilbert
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-11-13
[api] Insert miscellaneous API deprecation back to core.
Emilio Jesus Gallego Arias
2017-11-06
[api] Move structures deprecated in the API to the core.
Emilio Jesus Gallego Arias
2017-11-06
[api] Deprecate all legacy uses of Names in core.
Emilio Jesus Gallego Arias
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-12-18
COMMENTS: added to some variants of "Globalnames.global_reference" type.
Matej Kosik
2015-01-12
Update headers.
Maxime Dénès
2014-05-06
This commit adds full universe polymorphism and fast projections to Coq.
Matthieu Sozeau
2014-04-23
Removing dead code, thanks to new OCaml warnings and a bit of scripting.
Pierre-Marie Pédrot
2014-03-20
Missing equalities in Names-like structures.
Pierre-Marie Pédrot
2014-03-08
Using HMaps in global references.
Pierre-Marie Pédrot
2014-03-05
Remove many superfluous 'open' indicated by ocamlc -w +33
Pierre Letouzey
2013-08-25
Added a more efficient way to recover the domain of a map.
ppedrot
2013-02-19
Dir_path --> DirPath
letouzey
2013-02-19
Classops : avoid some use of Gmap
letouzey
2012-12-14
Modulification of dir_path
ppedrot
2012-12-14
Modulification of identifier
ppedrot
2012-12-08
Finish patch for Hint Resolve, stopping to generate new constant names for
msozeau
2012-08-08
Updating headers.
herbelin
2012-05-29
remove many excessive open Util & Errors in mli's
letouzey
2012-05-29
global_reference migrated from Libnames to new Globnames, less deps in gramma...
letouzey
