Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | Merge PR#538: Correction of bug #4306 | 2017-04-19 | ||
| | | |\ \ | ||||
* | | | \ \ | Merge PR#570: Adding and fixing links in README. | 2017-04-19 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR#571: [toplevel] Fix #5475 | 2017-04-19 | ||
|\ \ \ \ \ \ \ | |_|_|_|_|_|/ |/| | | | | | | ||||
| | | | * | | | [toplevel] Fix printing of parsing errors + corner case. | 2017-04-19 | ||
| |_|_|/ / / |/| | | | | | ||||
| * | | | | | [toplevel] Fix #5475 | 2017-04-18 | ||
|/ / / / / | ||||
| * / / / | Adding and fixing links in README. | 2017-04-18 | ||
|/ / / / | ||||
* | | | | Add a test for bug #5321: clearbody breaks typing of goal. | 2017-04-17 | ||
* | | | | Merge branch 'v8.6' into trunk | 2017-04-15 | ||
|\ \ \ \ | | |/ / | |/| | | ||||
* | | | | Merge PR#523: [readme] Add badges for Travis and Gitter. | 2017-04-15 | ||
|\ \ \ \ | ||||
| | * | | | Fixing bug #5470 (anomaly on notations with misused "binder" type). | 2017-04-14 | ||
| | * | | | Fixing bug #5469 (notation format not recognizing curly braces). | 2017-04-14 | ||
| | * | | | Fix EOL characters in xml protocol documentation. | 2017-04-14 | ||
| | * | | | Merge PR#556: Fix anomaly when doing [all:Check _.] during a proof. | 2017-04-14 | ||
| | |\ \ \ | ||||
| | | * | | | Fix anomaly when doing [all:Check _.] during a proof. | 2017-04-14 | ||
* | | | | | | Merge PR#557: [toplevel] Don't print goals if there is no pending proof. | 2017-04-14 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR#554: Update INSTALL now that -debug is the default. | 2017-04-14 | ||
|\ \ \ \ \ \ \ | ||||
| | | | * \ \ \ | Merge PR#563: add XML protocol doc for 8.6 | 2017-04-14 | ||
| | | | |\ \ \ \ | ||||
| | | | * | | | | | [travis] Use the lite target for fiat-crypto. | 2017-04-14 | ||
| | | | | |/ / / | | | | |/| | | | ||||
* | | | | | | | | Merge PR#559: Fix compilation with camlp5 transitional mode. | 2017-04-14 | ||
|\ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | Fix compilation with camlp5 transitional mode. | 2017-04-14 | ||
|/ / / / / / / / | ||||
| | | | | * | | | update XML protocol doc to 8.6 | 2017-04-13 | ||
| | | | | * | | | add XML protocol doc for 8.5 | 2017-04-13 | ||
| | | | |/ / / | ||||
| | * | | | | | [toplevel] Don't print goals if there is no pending proof. | 2017-04-13 | ||
* | | | | | | | Silence a few OCaml warnings. | 2017-04-13 | ||
| |/ / / / / |/| | | | | | ||||
| | | * | | | Merge PR#510: Correctly identify [Time Defined.] as a defined | 2017-04-12 | ||
| | | |\ \ \ | ||||
* | | | \ \ \ | Merge PR#441: Port Toplevel to the Stm API | 2017-04-12 | ||
|\ \ \ \ \ \ \ | ||||
| * | | | | | | | [toplevel] [stm] cleanup in module open | 2017-04-12 | ||
| * | | | | | | | [stm] [nit] Centralize compile-time debug flag. | 2017-04-12 | ||
| * | | | | | | | [stm] Improve error messages on add/parse. | 2017-04-12 | ||
| * | | | | | | | [flags] Documentation and a minor tweak. | 2017-04-12 | ||
| * | | | | | | | [vernac] vernacentries.mli cleanup | 2017-04-12 | ||
| * | | | | | | | [stm] Port the toplevel to the STM. | 2017-04-12 | ||
| * | | | | | | | [stm] Move main parsing entry point to the STM. | 2017-04-12 | ||
| * | | | | | | | [stm] Remove edit_id. | 2017-04-12 | ||
* | | | | | | | | Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r... | 2017-04-12 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR#549: Fast path in weak head reduction of applied atoms. | 2017-04-11 | ||
|\ \ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | | Update INSTALL now that -debug is the default. | 2017-04-11 | ||
| |_|_|/ / / / / / |/| | | | | | | | | ||||
* | | | | | | | | | Merge PR#543: Sanitize instance interpretation | 2017-04-11 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR#532: Clean Nsatz implementation. | 2017-04-11 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR#537: Efficient side-effect abstraction | 2017-04-11 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR#379: Introducing evar-insensitive constrs | 2017-04-11 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | | | | | Adding a test for 'rewrite in *' when an evar is solved by side-effect. | 2017-04-10 | ||
| * | | | | | | | | | | | | Adding a test for the correctness of normalization in legacy typeclasses. | 2017-04-10 | ||
| * | | | | | | | | | | | | Documenting the changes introduced by the EConstr branch. | 2017-04-10 | ||
* | | | | | | | | | | | | | Revert "refactoring: Reductionops.contextual_reduction_function type" | 2017-04-10 | ||
* | | | | | | | | | | | | | Revert "comment: typo" | 2017-04-10 | ||
* | | | | | | | | | | | | | Revert "refactoring: Names.DirPath.equal" | 2017-04-10 | ||
* | | | | | | | | | | | | | Revert "refactoring: Names.DirPath.compare" | 2017-04-10 | ||
* | | | | | | | | | | | | | Revert "refactoring: Names.DirPath.is_empty" | 2017-04-10 | ||
* | | | | | | | | | | | | | Revert "simplify: Environ.push_named" | 2017-04-10 |