aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-04-24Merge PR#581: [toplevel] [emacs] Don't quote errors in emacs mode.Maxime Dénès
2017-04-24Merge PR#492: [travis] Pin camlp5 to the minimal version 6.14 for 4.02.3Maxime Dénès
2017-04-24Merge PR#576: [ide] Rely less on `Stateid.dummy`Maxime Dénès
2017-04-24[travis] Pin camlp5 to the minimal version 6.14 for 4.02.3Emilio Jesus Gallego Arias
2017-04-23[toplevel] [emacs] Don't quote errors in emacs mode.Emilio Jesus Gallego Arias
2017-04-22Merge branch v8.6 into trunkHugo Herbelin
2017-04-22Removing TODO file which is unused for more than 10 years.Hugo Herbelin
2017-04-20[ide] Set Stateid in query pane.Emilio Jesus Gallego Arias
2017-04-19[ide] Rely less on `Stateid.dummy`Emilio Jesus Gallego Arias
2017-04-19Merge PR#573: [toplevel] Fix printing of parsing errors + corner case.Maxime Dénès
2017-04-19CHANGES entry for #545.Maxime Dénès
2017-04-19Merge PR#545: Add some hints to the "real" database to automatically discharg...Maxime Dénès
2017-04-19Merge PR#538: Correction of bug #4306Maxime Dénès
2017-04-19Merge PR#570: Adding and fixing links in README.Maxime Dénès
2017-04-19Merge PR#571: [toplevel] Fix #5475Maxime Dénès
2017-04-19[toplevel] Fix printing of parsing errors + corner case.Emilio Jesus Gallego Arias
2017-04-18[toplevel] Fix #5475Emilio Jesus Gallego Arias
2017-04-18Adding and fixing links in README.Théo Zimmermann
2017-04-17Add a test for bug #5321: clearbody breaks typing of goal.Pierre-Marie Pédrot
2017-04-15Merge branch 'v8.6' into trunkMaxime Dénès
2017-04-15Merge PR#523: [readme] Add badges for Travis and Gitter.Maxime Dénès
2017-04-14Fixing bug #5470 (anomaly on notations with misused "binder" type).Hugo Herbelin
2017-04-14Fixing bug #5469 (notation format not recognizing curly braces).Hugo Herbelin
2017-04-14Fix EOL characters in xml protocol documentation.Maxime Dénès
2017-04-14Merge PR#556: Fix anomaly when doing [all:Check _.] during a proof.Maxime Dénès
2017-04-14Fix anomaly when doing [all:Check _.] during a proof.Gaetan Gilbert
2017-04-14Merge PR#557: [toplevel] Don't print goals if there is no pending proof.Maxime Dénès
2017-04-14Merge PR#554: Update INSTALL now that -debug is the default.Maxime Dénès
2017-04-14Merge PR#563: add XML protocol doc for 8.6Maxime Dénès
2017-04-14[travis] Use the lite target for fiat-crypto.Maxime Dénès
2017-04-14Merge PR#559: Fix compilation with camlp5 transitional mode.Maxime Dénès
2017-04-14Fix compilation with camlp5 transitional mode.Maxime Dénès
2017-04-13update XML protocol doc to 8.6Paul Steckler
2017-04-13add XML protocol doc for 8.5Paul Steckler
2017-04-13[toplevel] Don't print goals if there is no pending proof.Emilio Jesus Gallego Arias
2017-04-13Silence a few OCaml warnings.Guillaume Melquiond
2017-04-12Merge PR#510: Correctly identify [Time Defined.] as a definedMaxime Dénès
2017-04-12Merge PR#441: Port Toplevel to the Stm APIMaxime Dénès
2017-04-12[toplevel] [stm] cleanup in module openEmilio Jesus Gallego Arias
2017-04-12[stm] [nit] Centralize compile-time debug flag.Emilio Jesus Gallego Arias
2017-04-12[stm] Improve error messages on add/parse.Emilio Jesus Gallego Arias
2017-04-12[flags] Documentation and a minor tweak.Emilio Jesus Gallego Arias
2017-04-12[vernac] vernacentries.mli cleanupEmilio Jesus Gallego Arias
2017-04-12[stm] Port the toplevel to the STM.Emilio Jesus Gallego Arias
2017-04-12[stm] Move main parsing entry point to the STM.Emilio Jesus Gallego Arias
2017-04-12[stm] Remove edit_id.Emilio Jesus Gallego Arias
2017-04-12Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r...Maxime Dénès
2017-04-11Merge PR#549: Fast path in weak head reduction of applied atoms.Maxime Dénès
2017-04-11Update INSTALL now that -debug is the default.Théo Zimmermann
2017-04-11Merge PR#543: Sanitize instance interpretationMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-12 08:56:50 +0000