aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* lib/Pp: Cosmetics.Gravatar Regis-Gianas2014-11-04
* Add an [Info Level] option to print info traces automatically.Gravatar Arnaud Spiwack2014-11-01
* Feedback message: hold extra info to help routingGravatar Enrico Tassi2014-10-31
* STM: new worker for queriesGravatar Enrico Tassi2014-10-31
* Changed implementation of lib/heap.ml to use Braun treesGravatar Jean-Christophe Filliatre2014-10-25
* -help failing (fix 3762)Gravatar Enrico Tassi2014-10-24
* Monad: change the error managing of two-list combinators.Gravatar Arnaud Spiwack2014-10-23
* Goal printing made uniform: always done in STM (close 3585)Gravatar Enrico Tassi2014-10-22
* An additional [List.iter] monadic combinator.Gravatar Arnaud Spiwack2014-10-22
* Add more primitives to the [Monad.Make] arguments.Gravatar Arnaud Spiwack2014-10-22
* Proofview: move [list_goto] to the [CList] module.Gravatar Arnaud Spiwack2014-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 19:54:03 +0000