aboutsummaryrefslogtreecommitdiff
path: root/lib/lib.mllib
AgeCommit message (Expand)Author
2018-12-17Make ugraph implementation abstract wrt universe specificsGaëtan Gilbert
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-07-23Displays the differences between successive proof steps in coqtop and CoqIDE.Jim Fehrle
2018-03-05Remove non-existent dependencymrmr1993
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-12-09[lib] Rename Profile to CProfileEmilio Jesus Gallego Arias
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-01Makefile: restore the use of coqdep_boot for creating .v.d filesPierre Letouzey
2016-03-05Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-04Rename Ephemeron -> CEphemeron.Maxime Dénès
2015-12-05Factorizing unsafe code by relying on the new Dyn module.Pierre-Marie Pédrot
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2014-11-04RichPp: New module.Regis-Gianas
2014-05-08Moving Dnet-related code to tactics/.Pierre-Marie Pédrot
2014-04-25Adding a stm/ folder, as asked during last workgroup. It was essentially movingPierre-Marie Pédrot
2014-03-13STM: move out a couple of submodulesEnrico Tassi
2014-01-30Work around for bug in threads + blocking io streamlinedEnrico Tassi
2014-01-26Spawn: managed processesEnrico Tassi
2013-10-18Ephemeron: marshaling friendly keysgareuselesinge
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
2013-08-20Universe counters on slaves are in sync with mastergareuselesinge
2013-08-08Vcs data structure (Git inspired builder for Dag)gareuselesinge
2013-08-08Dag data structuregareuselesinge
2013-08-08Searchable stack data structuregareuselesinge
2013-08-08Future library to represent pure computationsgareuselesinge
2013-06-21Splitted up Genarg in four different levels:ppedrot
2013-05-14Gmap is now useless, hail to Map!ppedrot
2013-05-14Removing Fmap from libraries, it is not used anymore.ppedrot
2013-05-12Removing Fset, since it is not used anymore.ppedrot
2013-05-09Documenting the Tries module, uniformizing the names according toppedrot
2013-05-09Getting rid of module Gmapl.ppedrot
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-03-12Updated Exninfo to the new Store type.ppedrot
2012-12-14Moving hcons_string to String namespace.ppedrot
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
2012-09-26Cleaning, renaming obscure functions and documenting in Hashcons.ppedrot
2012-09-18More cleanup of Util: utf8 aspects moved to a new file unicode.mlletouzey
2012-09-10Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5ppedrot
2012-07-20Put Option in Clibpboutill
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
2011-11-24Moving XML handling to lib directoryppedrot
2011-07-29Term: Refactoring of hashconsingpuech
2011-05-13A new mechanism to handle errors.aspiwack
2011-02-11An generic imperative union-find, used for deps of evars in Class_tacticsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:22:06 +0000