aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* lib/richPp: Fix a bug related to the compatibility with ocaml 3.12Gravatar Yann Régis-Gianas2014-11-05
* lib/Ppconstr: Cosmetics.Gravatar Regis-Gianas2014-11-04
* lib/Ppconstr: Cosmetics.Gravatar Regis-Gianas2014-11-04
* lib/richPp: Cosmetics.Gravatar Regis-Gianas2014-11-04
* lib/Pp.tag: New.Gravatar Regis-Gianas2014-11-04
* lib/Xml_parser.parse: Publish and document new interface.Gravatar Regis-Gianas2014-11-04
* lib/Xml_printer.pcdata_to_string: Publish.Gravatar Regis-Gianas2014-11-04
* printing/RichPrinter: New API for rich pretty-printing.Gravatar Regis-Gianas2014-11-04
* lib/Pp.rewrite: New.Gravatar Regis-Gianas2014-11-04
* lib/Xml_printer: Handle non-breakable spaces.Gravatar Regis-Gianas2014-11-04
* lib/Xml_parser.parse: Make canonicalization optional. (By default, it is appl...Gravatar Regis-Gianas2014-11-04
* lib/Xml_parser: Cosmetics.Gravatar Regis-Gianas2014-11-04
* lib/Xml_parser: Cosmetics.Gravatar Regis-Gianas2014-11-04
* Xml_lexer: Handle non-breakable spaces.Gravatar Regis-Gianas2014-11-04
* RichPp: New module.Gravatar Regis-Gianas2014-11-04
* Xml_datatype.gxml: New type for semi-structured documents.Gravatar Regis-Gianas2014-11-04
* lib/Pp: Publish combinators for tags opening and closing.Gravatar Regis-Gianas2014-11-04
* lib/Pp.ppcmd_token:Gravatar Regis-Gianas2014-11-04