aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...Gravatar Regis-Gianas2014-11-04
* ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...Gravatar Regis-Gianas2014-11-04
* ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Gravatar Regis-Gianas2014-11-04
* Ppvernac: Publish new rich pretty-printer.Gravatar Regis-Gianas2014-11-04
* Ppannotation.t: New constructor AVernac.Gravatar Regis-Gianas2014-11-04
* Ppvernacsig: New.Gravatar Regis-Gianas2014-11-04
* Ppvernac.Make: NewGravatar Regis-Gianas2014-11-04
* Ppvernac: Cosmetics.Gravatar Regis-Gianas2014-11-04
* Ppannotation: New.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
* printing/Ppconstr.Make:Gravatar Regis-Gianas2014-11-04
* lib/Pp.ppcmd_token:Gravatar Regis-Gianas2014-11-04
* lib/Pp: Cosmetics.Gravatar Regis-Gianas2014-11-04
* printing/Ppconstr.print_hunks:Gravatar Regis-Gianas2014-11-04
* printing/Ppconstr: Cosmetics.Gravatar Regis-Gianas2014-11-04
* Removing the old rename tactic.Gravatar Pierre-Marie Pédrot2014-11-04
* Fixing careless name confusion in CHANGES.Gravatar Pierre-Marie Pédrot2014-11-04
* Documenting the change of semantics of the replace tactic.Gravatar Pierre-Marie Pédrot2014-11-04
* Experimentally applying eager evar substitution at the same time asGravatar Hugo Herbelin2014-11-04
* test suite: some reproduction cases for recently-reported bugs.Gravatar Xavier Clerc2014-11-04
* Test for bug #2149.Gravatar Pierre-Marie Pédrot2014-11-04
* Writing rename_hyps in the new monad.Gravatar Pierre-Marie Pédrot2014-11-03
* New bugs revealed fixed: #3408 by (probably) Maxime's commitsGravatar Hugo Herbelin2014-11-03
* Now that evars can be parsed, protect strongly Check from calling kernel with...Gravatar Hugo Herbelin2014-11-03
* Fixing confused code for interpretations of evar instances.Gravatar Hugo Herbelin2014-11-03
* vernac_classifier: VernacDeclareTacticDefinition does not alter the parserGravatar Enrico Tassi2014-11-03
* Show: do print the goalsGravatar Enrico Tassi2014-11-03
* STM: code refactoringGravatar Enrico Tassi2014-11-03
* Subtle swap of lines to preserve VarInstance src field before checkingGravatar Hugo Herbelin2014-11-03
* Fix to 844431761 on improving elimination with indices, getting rid ofGravatar Hugo Herbelin2014-11-03
* STM: fix printing of goals when on a tty interfaceGravatar Enrico Tassi2014-11-03
* Fix error reporting id on VtUnknown commandsGravatar Enrico Tassi2014-11-03
* Fixing inefficiency in typeclass resolution.Gravatar Pierre-Marie Pédrot2014-11-03
* Saving some nf_evars in the code of destruct/induction.Gravatar Hugo Herbelin2014-11-02
* Improving elimination with indices, getting rid of intrusive residualGravatar Hugo Herbelin2014-11-02
* Some reorganization of the code for destruct/induction:Gravatar Hugo Herbelin2014-11-02
* Fixing subterm matched for destruct when it is matched from prefix.Gravatar Hugo Herbelin2014-11-02
* Supporting "at occs" as a short-hand for "in |- * at occs" in "destruct".Gravatar Hugo Herbelin2014-11-02
* Plural and singular forms in error messages.Gravatar Hugo Herbelin2014-11-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 13:10:15 +0000