aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2015-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
2015-04-23Removing dead code in Pp.Pierre-Marie Pédrot
2015-04-22Pp: obsolete comment.Arnaud Spiwack
2015-04-22Do not use list concatenation when gluing streams together, just mark them as...Guillaume Melquiond
2015-04-21STM: print trace on "anomaly, no safe id attached"Enrico Tassi
2015-03-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-16Adding a primitive to dump the current association table of dynamic types.Pierre-Marie Pédrot
2015-02-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-26Fixing printing of ordinals.Pierre-Marie Pédrot
2015-02-24New function [Constr.equal_with] to compare terms up to variants of [kind_of_...Arnaud Spiwack
2015-02-23Merge branch 'v8.5' into trunkEnrico Tassi
2015-02-23Fix some typos in comments.Guillaume Melquiond
2015-02-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-21Future: human readable name for delegated (Close #4065)Enrico Tassi
2015-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
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
2015-02-11Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-11Adding a statistic function on hashconsing tables.Pierre-Marie Pédrot
2015-02-10Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-07Fixing bug #4009.Pierre-Marie Pédrot
2015-02-06More efficient Richpp.Pierre-Marie Pédrot
2015-02-05Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)Enrico Tassi
2015-02-04More efficient implementation of Richpp.Pierre-Marie Pédrot
2015-02-04CThread: workaround for threads lockup on windwos made more aggressiveEnrico Tassi
2015-02-02Removing dead code.Pierre-Marie Pédrot
2015-01-25Equipping extended maps with fold operator defined for any monad.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2015-01-12Fix a few typos.Maxime Dénès
2015-01-11Extraction: no more ascii blob in type variables (fix #3227)Pierre Letouzey
2015-01-10Adding more sharing in Map.udpate and Map.modify.Pierre-Marie Pédrot
2015-01-06Safer version of the implementation of stores.Pierre-Marie Pédrot
2015-01-06remove unused iArrayEnrico Tassi
2015-01-06rename: vi -> vioEnrico Tassi
2014-12-25Inlining Spawn.kill_if in the one place were it was actually used, thusPierre-Marie Pédrot
2014-12-18Fixed bad newlines in output for std output and emacs.Pierre Courtieu
2014-12-17Ensuring the good invariants of hashcons table generation in the API.Pierre-Marie Pédrot
2014-12-17Future: blocking by defaultEnrico Tassi
2014-12-17STM: rename and simplify flagsEnrico Tassi
2014-12-17Spawn: fix request of Gc statisticsEnrico Tassi
2014-12-17CThread: use a different type for thread friendly in_channelsEnrico Tassi
2014-12-17Dyn: add API to check of two Dyn.t are ==Enrico Tassi
2014-12-16msg_info now puts infomsg tag in emacs mode.Pierre Courtieu
2014-12-16Proper thread-safe implementation for Exninfo.Pierre-Marie Pédrot
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-12-15Changed bullet informations to warning for better display in PG.Pierre Courtieu
2014-12-14Util.un_op -> Option.defaultPierre Boutillier
2014-12-14Fixing bug #3858 and #3817 in one stroke.Pierre-Marie Pédrot
2014-12-12Searchxxx now search also the hypothesis and support goal selector.Pierre Courtieu
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 09:24:05 +0000