aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* Add a two-list monadic fold_left iterator.Gravatar Arnaud Spiwack2014-10-22
* Small optimisation in the monadic list combinators.Gravatar Arnaud Spiwack2014-10-22
* Factor module signatures.Gravatar Arnaud Spiwack2014-10-22
* When loading libraries, feed back dependencies.Gravatar Carst Tankink2014-10-13
* STM: primitives to snapshot a .vi while in interactive modeGravatar Enrico Tassi2014-10-13
* library/opaqueTables: enable their use in interactive modeGravatar Enrico Tassi2014-10-13
* Fixup leading ./ path cleaningGravatar Pierre Boutillier2014-10-09
* Splitting out of auto.ml a file hints.ml dedicated to hints so as toGravatar Hugo Herbelin2014-10-07
* A few improvements on pattern-matching compilation.Gravatar Hugo Herbelin2014-10-05
* STM: report the (structured) goals as XMLGravatar Carst Tankink2014-10-01
* Remove some 'deprecated' warnings.Gravatar Xavier Clerc2014-09-25
* Fix debug printing with primitive projections.Gravatar Matthieu Sozeau2014-09-18
* Undo prints only if coqtop || emacsGravatar Enrico Tassi2014-09-16
* Undo: if the ui is coqtop (command line) then Undo is not part of the doc.Gravatar Enrico Tassi2014-09-09
* toploop plugins taken into account when printing --help (close: 3535)Gravatar Enrico Tassi2014-09-09
* Removing dead code relative to the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* Adding a Ftactic module for potentially focussing tactics.Gravatar Pierre-Marie Pédrot2014-09-05
* coqworkmgrGravatar Enrico Tassi2014-09-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-13 11:59:47 +0000