aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Adding a primitive to dump the current association table of dynamic types.Gravatar Pierre-Marie Pédrot2015-03-16
* Fixing printing of ordinals.Gravatar Pierre-Marie Pédrot2015-02-26
* New function [Constr.equal_with] to compare terms up to variants of [kind_of_...Gravatar Arnaud Spiwack2015-02-24
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* Future: human readable name for delegated (Close #4065)Gravatar Enrico Tassi2015-02-21
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
* Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* Adding a statistic function on hashconsing tables.Gravatar Pierre-Marie Pédrot2015-02-11
* Fixing bug #4009.Gravatar Pierre-Marie Pédrot2015-02-07
* More efficient Richpp.Gravatar Pierre-Marie Pédrot2015-02-06
* Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)Gravatar Enrico Tassi2015-02-05
* More efficient implementation of Richpp.Gravatar Pierre-Marie Pédrot2015-02-04
* CThread: workaround for threads lockup on windwos made more aggressiveGravatar Enrico Tassi2015-02-04
* Removing dead code.Gravatar Pierre-Marie Pédrot2015-02-02
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix a few typos.Gravatar Maxime Dénès2015-01-12
* Extraction: no more ascii blob in type variables (fix #3227)Gravatar Pierre Letouzey2015-01-11
* Adding more sharing in Map.udpate and Map.modify.Gravatar Pierre-Marie Pédrot2015-01-10
* Safer version of the implementation of stores.Gravatar Pierre-Marie Pédrot2015-01-06
* remove unused iArrayGravatar Enrico Tassi2015-01-06
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* Inlining Spawn.kill_if in the one place were it was actually used, thusGravatar Pierre-Marie Pédrot2014-12-25
* Fixed bad newlines in output for std output and emacs.Gravatar Pierre Courtieu2014-12-18
* Ensuring the good invariants of hashcons table generation in the API.Gravatar Pierre-Marie Pédrot2014-12-17
* Future: blocking by defaultGravatar Enrico Tassi2014-12-17
* STM: rename and simplify flagsGravatar Enrico Tassi2014-12-17
* Spawn: fix request of Gc statisticsGravatar Enrico Tassi2014-12-17
* CThread: use a different type for thread friendly in_channelsGravatar Enrico Tassi2014-12-17
* Dyn: add API to check of two Dyn.t are ==Gravatar Enrico Tassi2014-12-17
* msg_info now puts infomsg tag in emacs mode.Gravatar Pierre Courtieu2014-12-16
* Proper thread-safe implementation for Exninfo.Gravatar Pierre-Marie Pédrot2014-12-16
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Changed bullet informations to warning for better display in PG.Gravatar Pierre Courtieu2014-12-15
* Util.un_op -> Option.defaultGravatar Pierre Boutillier2014-12-14
* Fixing bug #3858 and #3817 in one stroke.Gravatar Pierre-Marie Pédrot2014-12-14
* Searchxxx now search also the hypothesis and support goal selector.Gravatar Pierre Courtieu2014-12-12
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Better commentGravatar Enrico Tassi2014-12-01
* Future: API for blocking futuresGravatar Enrico Tassi2014-11-28
* better to always print the thread idGravatar Enrico Tassi2014-11-27
* async_queries_* merged with async_proofs_*Gravatar Enrico Tassi2014-11-27
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* Making map_union a standard function of the ML library.Gravatar Hugo Herbelin2014-11-19
* Reworking the -color flag of coqtop.Gravatar Pierre-Marie Pédrot2014-11-15
* Removing deprecated code handling color in Pp.Gravatar Pierre-Marie Pédrot2014-11-15
* Adding a terminal library.Gravatar Pierre-Marie Pédrot2014-11-15
* Move conjugate_verb_to_be next to cString.plural.Gravatar Hugo Herbelin2014-11-13
* Plug the dynamic tags in the Richpp mechanism.Gravatar Pierre-Marie Pédrot2014-11-10
* Adding a dynamic tag type in Pp.Gravatar Pierre-Marie Pédrot2014-11-10
* lib/RichPp: Rename into Richpp.Gravatar Yann Régis-Gianas2014-11-05