Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR#436: [ocamlbuild] Update META for the vernac split. | 2017-03-07 | |
|\ | |||
* \ | Merge PR#447: [travis] [External CI] fiat-parsers | 2017-03-06 | |
|\ \ | |||
* \ \ | Merge PR#279: A few lemmas about iff and about orders on positive and Z | 2017-03-06 | |
|\ \ \ | |||
* \ \ \ | Merge PR#273: Tidy stdlib | 2017-03-03 | |
|\ \ \ \ | |||
| | * | | | Completing basic lemmas about <= and < in BinInt.Z.Pos2Z. | 2017-03-03 | |
| | * | | | Relying on BinInt.Z.Pos2Z for proofs of a few lemmas in Zorder. | 2017-03-03 | |
| | * | | | Completing "few lemmas about Zneg" with lemmas also about Zpos. | 2017-03-03 | |
| | * | | | A couple of other useful properties about compare_cont. | 2017-03-03 | |
| | * | | | Compatibility of iff wrt not and imp. | 2017-03-03 | |
* | | | | | Merge PR#399: Debug by default | 2017-02-27 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR#395: Allow hintdb to be parameters in a Ltac definition or | 2017-02-27 | |
|\ \ \ \ \ \ | |||
| | | | | * | | [travis] [External CI] fiat-parsers | 2017-02-24 | |
| | | | |/ / | |||
* | | | / / | Revert "Add empty ltac_plugin file for forward compatibility." | 2017-02-24 | |
| |_|_|/ / |/| | | | | |||
* | | | | | Fixing #use"include" after vernac is added and ltac is moved to a plugin. | 2017-02-23 | |
* | | | | | Merge branch 'v8.6' | 2017-02-22 | |
|\ \ \ \ \ | |||
| * \ \ \ \ | Merge branch 'v8.5' into v8.6 | 2017-02-22 | |
| |\ \ \ \ \ | |||
* | | | | | | | [travis] track an 8.7 specific branch of HoTT. | 2017-02-21 | |
* | | | | | | | Merge PR#309: Ltac as a plugin | 2017-02-21 | |
|\ \ \ \ \ \ \ | |||
| | * | | | | | | Add empty ltac_plugin file for forward compatibility. | 2017-02-21 | |
| | | | | * | | | Deprecate -debug flag. | 2017-02-20 | |
* | | | | | | | | Merge PR#189: Remove tabulation support from pretty-printing. | 2017-02-20 | |
|\ \ \ \ \ \ \ \ | |||
| | | | | | | | * | Merge pull request #4 from Zimmi48/patch-1 | 2017-02-20 | |
| | | | | | | | |\ | |||
| | | | | | | | | * | [ocamlbuild] fix small mistakes in descriptions | 2017-02-20 | |
| | | | | | | | |/ | |||
| | | | | | | | * | [ocamlbuild] Update meta for the vernac split. | 2017-02-20 | |
* | | | | | | | | | Fixing debugger after the split of toplevel into vernac. | 2017-02-19 | |
| |_|_|_|_|_|_|/ |/| | | | | | | | |||
* | | | | | | | | remove obsolete file dev/Makefile.oug | 2017-02-17 | |
| | * | | | | | | Removing spurious folder includes in coq_makefile. | 2017-02-17 | |
| | * | | | | | | Documenting the pluginification of Ltac. | 2017-02-17 | |
| | * | | | | | | Fix .gitignore. | 2017-02-17 | |
| | * | | | | | | Moving the Ltac plugin to a pack-based one. | 2017-02-17 | |
| | * | | | | | | Ltac as a plugin. | 2017-02-17 | |
| |/ / / / / / |/| | | | | | | |||
| | * | | | | | Fixing #5339 (anomaly with 'pat in record parameters). | 2017-02-16 | |
* | | | | | | | Merge PR#403: Split Vernacular Processing from Toplevel | 2017-02-16 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR#431 | 2017-02-16 | |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | [travis] [External CI] CompCert official 8.6 support + UniMath | 2017-02-15 | |
| * | | | | | | | | [travis] [External CI] Factor out math-comp installs. | 2017-02-15 | |
| | * | | | | | | | Make Obligations see fix_exn | 2017-02-15 | |
| | * | | | | | | | [stm] Remove unused legacy stm interface. | 2017-02-15 | |
| | * | | | | | | | [cosmetic] Reorder makefile as suggested by @herbelin | 2017-02-15 | |
| | * | | | | | | | [stm] Reenable Show Script command. | 2017-02-15 | |
| | * | | | | | | | [stm] Break stm/toplevel dependency loop. | 2017-02-15 | |
| |/ / / / / / / |/| | | | | | | | |||
* | | | | | | | | Merge PR#314: Miscellaneous fixes for Ocaml warnings. | 2017-02-15 | |
|\| | | | | | | | |||
| * | | | | | | | [unicode] Address comments in PR#314. | 2017-02-15 | |
| * | | | | | | | [safe-string] Switch to buffer to `Bytes` | 2017-02-14 | |
| * | | | | | | | [safe-string] Use `String.init` to build string. | 2017-02-14 | |
| * | | | | | | | [misc] Remove unused binding. | 2017-02-14 | |
|/ / / / / / / | |||
* | | | | | | | Merge PR#253: Sort Search results by relevance | 2017-02-14 | |
|\ \ \ \ \ \ \ | |||
| * | | | | | | | Test-suite: output of Search | 2017-02-14 | |
* | | | | | | | | Merge PR#349: Proofview: tclINDEPENDENTL | 2017-02-13 | |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | Proofview: tclINDEPENDENTL | 2017-02-10 | |
|/ / / / / / / / |