Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | | | [ide] ide_slave doesnt't need to capture stdout | 2017-03-21 | ||
| | | * | | | | [ide] Use "log via feedback". | 2017-03-21 | ||
| |_|/ / / / |/| | | | | | ||||
| | | | * | | [safe-string] update dev/doc/changes | 2017-03-21 | ||
| |_|_|/ / |/| | | | | ||||
* | | | | | Merge PR#134: Enable `-safe-string` | 2017-03-21 | ||
|\ \ \ \ \ | ||||
* | | | | | | trivial: fix comment | 2017-03-21 | ||
| | | | * | | Merge PR#430: make `emit' tail recursive | 2017-03-20 | ||
| | | | |\ \ | ||||
| | | | | * | | In the Kami project, that causes a stack overflow in one of the example files | 2017-03-20 | ||
| | | | |/ / | ||||
| * | | | | | [misc] Remove warnings about String.set | 2017-03-20 | ||
* | | | | | | Merge PR#479: [future] Remove unused parameter greedy. | 2017-03-20 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR#487: Add a forgotten (?) line to "theories/Logic/vo.itarget". | 2017-03-19 | ||
|\ \ \ \ \ \ \ | ||||
| * | | | | | | | Add a forgotten (?) line to "theories/Logic/vo.itarget". | 2017-03-19 | ||
|/ / / / / / / | ||||
| | | | | * | | Merge PR#429: Don't require printing-only notation to be productive | 2017-03-17 | ||
| | | | | |\ \ | ||||
* | | | | | \ \ | Merge PR#428: Report missing tactic arguments in error message | 2017-03-17 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR#437: Improve unification debug trace. | 2017-03-17 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR#445: TACTIC EXTEND now takes an optional level as argument. | 2017-03-17 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR#442: Allow interactive editing of Coq.Init.Logic | 2017-03-17 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR#451: Add η principles for sigma types | 2017-03-17 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* | | | | | | | | | | | | | Attempt to improve error message when "apply in" fail. | 2017-03-15 | ||
* | | | | | | | | | | | | | Merge PR#267: Proposal for an update of the recommended style in programming ... | 2017-03-15 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | * | | | | | | [safe-string] Enable -safe-string ! | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] tools | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] ide | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] plugins/extraction | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] ltac/profile_ltac | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] toplevel/vernac | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] toplevel/coqloop | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] parsing/cLexer | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] interp/dumpglob | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] library/nameops | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] kernel/cemitcodes | 2017-03-14 | ||
| | | | | | | | | * | | | | | [toplevel] Remove unusable option -notop | 2017-03-14 | ||
* | | | | | | | | | | | | | | Merge PR#444: Simplifying a statement in Hurkens.v + a case study for eauto | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | * | | | | | | | | Report missing tactic arguments in error message | 2017-03-14 | ||
| |_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | | | | | * | | | | | | [safe-string] kernel/nativevalues | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] kernel/term_typing | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] lib/miscelanea | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe-string] lib/cUnix | 2017-03-14 | ||
| | | | | | | | * | | | | | | [safe_string] lib/cThread | 2017-03-14 | ||
| | | | | | | | |/ / / / / | ||||
* | | | | | | | | | | | | | Merge PR#438: Fix V7 syntax in refman. | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#412: Remove outdated comment from 2002. | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | | Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFun | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#477: [travis] Basic support for overlays. | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#473: [ci] Document that sudo: false is slower | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#464: [META] More fixes | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | | | | | | | * \ \ | Merge PR#465: Fix #5132: coq_makefile generates incorrect install goal | 2017-03-14 | ||
| | | | | | | | | | | | | | | |\ \ \ | ||||
| | | | | | | | | | | | | | | | * | | | Fix #5132: coq_makefile generates incorrect install goal | 2017-03-14 | ||
* | | | | | | | | | | | | | | | | | | | Merge PR#446: Remove a dead exception catching code. | 2017-03-14 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | | | | | | | | | | | * | Fix 3 unused-intro-pattern warnings in stdlib. | 2017-03-14 | ||
| | | | | | | | | | | | | | | | | | | * | Show unused-intro-pattern warning. | 2017-03-14 | ||
| | | | | | | | | | | | | | * | | | | | | [future] Remove unused parameter greedy. | 2017-03-14 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | | | | | | |