coq - The formal proof system

Age	Commit message (Expand)	Author
2014-11-05	printing/Ppvernac: Cosmetics.	Yann Régis-Gianas
2014-11-05	Writing the raw introduction tactic in the new monad.	Pierre-Marie Pédrot
2014-11-04	ide/Xmlprotocol: Cosmetics.	Yann Régis-Gianas
2014-11-04	lib/Ppconstr: Cosmetics.	Regis-Gianas
2014-11-04	lib/Ppconstr: Cosmetics.	Regis-Gianas
2014-11-04	lib/richPp: Cosmetics.	Regis-Gianas
2014-11-04	printing/Ppannotation: New annotation for tactic syntactic objects.	Regis-Gianas
2014-11-04	printing/Pptactic.Make: New.	Regis-Gianas
2014-11-04	printing/Pptacticsig: New signature for tactic pretty-printers.	Regis-Gianas
2014-11-04	lib/Ppconstr: Cosmetics.	Regis-Gianas
2014-11-04	Rebase artefact.	Regis-Gianas
2014-11-04	lib/Pp.tag: New.	Regis-Gianas
2014-11-04	printing/Ppannotation: Introduce a new annotation for keywords.	Regis-Gianas
2014-11-04	printing/richPrinter: Fix incorrect signatures.	Regis-Gianas
2014-11-04	ide/Ide_slave.annotate: Implement annotate.	Regis-Gianas
2014-11-04	lib/Xml_parser.parse: Publish and document new interface.	Regis-Gianas
2014-11-04	lib/Xml_printer.pcdata_to_string: Publish.	Regis-Gianas
2014-11-04	printing/RichPrinter: New API for rich pretty-printing.	Regis-Gianas
2014-11-04	lib/Pp.rewrite: New.	Regis-Gianas
2014-11-04	lib/Xml_printer: Handle non-breakable spaces.	Regis-Gianas
2014-11-04	lib/Xml_parser.parse: Make canonicalization optional. (By default, it is appl...	Regis-Gianas
2014-11-04	lib/Xml_parser: Cosmetics.	Regis-Gianas
2014-11-04	lib/Xml_parser: Cosmetics.	Regis-Gianas
2014-11-04	Xml_lexer: Handle non-breakable spaces.	Regis-Gianas
2014-11-04	ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...	Regis-Gianas
2014-11-04	ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...	Regis-Gianas
2014-11-04	ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".	Regis-Gianas
2014-11-04	Ppvernac: Publish new rich pretty-printer.	Regis-Gianas
2014-11-04	Ppannotation.t: New constructor AVernac.	Regis-Gianas
2014-11-04	Ppvernacsig: New.	Regis-Gianas
2014-11-04	Ppvernac.Make: New	Regis-Gianas
2014-11-04	Ppvernac: Cosmetics.	Regis-Gianas
2014-11-04	Ppannotation: New.	Regis-Gianas
2014-11-04	RichPp: New module.	Regis-Gianas
2014-11-04	Xml_datatype.gxml: New type for semi-structured documents.	Regis-Gianas
2014-11-04	lib/Pp: Publish combinators for tags opening and closing.	Regis-Gianas
2014-11-04	printing/Ppconstr.Make:	Regis-Gianas
2014-11-04	lib/Pp.ppcmd_token:	Regis-Gianas
2014-11-04	lib/Pp: Cosmetics.	Regis-Gianas
2014-11-04	printing/Ppconstr.print_hunks:	Regis-Gianas
2014-11-04	printing/Ppconstr: Cosmetics.	Regis-Gianas
2014-11-04	Removing the old rename tactic.	Pierre-Marie Pédrot
2014-11-04	Fixing careless name confusion in CHANGES.	Pierre-Marie Pédrot
2014-11-04	Documenting the change of semantics of the replace tactic.	Pierre-Marie Pédrot
2014-11-04	Experimentally applying eager evar substitution at the same time as	Hugo Herbelin
2014-11-04	test suite: some reproduction cases for recently-reported bugs.	Xavier Clerc
2014-11-04	Test for bug #2149.	Pierre-Marie Pédrot
2014-11-03	Writing rename_hyps in the new monad.	Pierre-Marie Pédrot
2014-11-03	New bugs revealed fixed: #3408 by (probably) Maxime's commits	Hugo Herbelin
2014-11-03	Now that evars can be parsed, protect strongly Check from calling kernel with...	Hugo Herbelin