aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-12-01Better commentEnrico Tassi
2014-11-28Future: API for blocking futuresEnrico Tassi
2014-11-27better to always print the thread idEnrico Tassi
2014-11-27async_queries_* merged with async_proofs_*Enrico Tassi
2014-11-27Feedback: API cleaned up, documented and made user extensibleEnrico Tassi
2014-11-19Making map_union a standard function of the ML library.Hugo Herbelin
2014-11-15Reworking the -color flag of coqtop.Pierre-Marie Pédrot
2014-11-15Removing deprecated code handling color in Pp.Pierre-Marie Pédrot
2014-11-15Adding a terminal library.Pierre-Marie Pédrot
2014-11-13Move conjugate_verb_to_be next to cString.plural.Hugo Herbelin
2014-11-10Plug the dynamic tags in the Richpp mechanism.Pierre-Marie Pédrot
2014-11-10Adding a dynamic tag type in Pp.Pierre-Marie Pédrot
2014-11-05lib/RichPp: Rename into Richpp.Yann Régis-Gianas
2014-11-05lib/richPp: Fix a bug related to the compatibility with ocaml 3.12Yann Régis-Gianas
2014-11-04lib/Ppconstr: Cosmetics.Regis-Gianas
2014-11-04lib/Ppconstr: Cosmetics.Regis-Gianas
2014-11-04lib/richPp: Cosmetics.Regis-Gianas
2014-11-04lib/Pp.tag: New.Regis-Gianas
2014-11-04lib/Xml_parser.parse: Publish and document new interface.Regis-Gianas
2014-11-04lib/Xml_printer.pcdata_to_string: Publish.Regis-Gianas
2014-11-04printing/RichPrinter: New API for rich pretty-printing.Regis-Gianas
2014-11-04lib/Pp.rewrite: New.Regis-Gianas
2014-11-04lib/Xml_printer: Handle non-breakable spaces.Regis-Gianas
2014-11-04lib/Xml_parser.parse: Make canonicalization optional. (By default, it is appl...Regis-Gianas
2014-11-04lib/Xml_parser: Cosmetics.Regis-Gianas
2014-11-04lib/Xml_parser: Cosmetics.Regis-Gianas
2014-11-04Xml_lexer: Handle non-breakable spaces.Regis-Gianas
2014-11-04RichPp: New module.Regis-Gianas
2014-11-04Xml_datatype.gxml: New type for semi-structured documents.Regis-Gianas
2014-11-04lib/Pp: Publish combinators for tags opening and closing.Regis-Gianas
2014-11-04lib/Pp.ppcmd_token:Regis-Gianas
2014-11-04lib/Pp: Cosmetics.Regis-Gianas
2014-11-01Add an [Info Level] option to print info traces automatically.Arnaud Spiwack
2014-10-31Feedback message: hold extra info to help routingEnrico Tassi
2014-10-31STM: new worker for queriesEnrico Tassi
2014-10-25Changed implementation of lib/heap.ml to use Braun treesJean-Christophe Filliatre
2014-10-24-help failing (fix 3762)Enrico Tassi
2014-10-23Monad: change the error managing of two-list combinators.Arnaud Spiwack
2014-10-22Goal printing made uniform: always done in STM (close 3585)Enrico Tassi
2014-10-22An additional [List.iter] monadic combinator.Arnaud Spiwack
2014-10-22Add more primitives to the [Monad.Make] arguments.Arnaud Spiwack
2014-10-22Proofview: move [list_goto] to the [CList] module.Arnaud Spiwack
2014-10-22Add a two-list monadic fold_left iterator.Arnaud Spiwack
2014-10-22Small optimisation in the monadic list combinators.Arnaud Spiwack
2014-10-22Factor module signatures.Arnaud Spiwack
2014-10-13When loading libraries, feed back dependencies.Carst Tankink
2014-10-13STM: primitives to snapshot a .vi while in interactive modeEnrico Tassi
2014-10-13library/opaqueTables: enable their use in interactive modeEnrico Tassi
2014-10-09Fixup leading ./ path cleaningPierre Boutillier
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:26:07 +0000