Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [ide] ide_slave doesnt't need to capture stdout | Emilio Jesus Gallego Arias | 2017-03-21 |
* | [ide] Use "log via feedback". | Emilio Jesus Gallego Arias | 2017-03-21 |
* | Merge PR#134: Enable `-safe-string` | Maxime Dénès | 2017-03-21 |
|\ | |||
* | | trivial: fix comment | Matej Kosik | 2017-03-21 |
| * | [misc] Remove warnings about String.set | Emilio Jesus Gallego Arias | 2017-03-20 |
* | | Merge PR#479: [future] Remove unused parameter greedy. | Maxime Dénès | 2017-03-20 |
|\ \ | |||
* \ \ | Merge PR#487: Add a forgotten (?) line to "theories/Logic/vo.itarget". | Maxime Dénès | 2017-03-19 |
|\ \ \ | |||
| * | | | Add a forgotten (?) line to "theories/Logic/vo.itarget". | Matej Kosik | 2017-03-19 |
|/ / / | |||
* | | | Merge PR#428: Report missing tactic arguments in error message | Maxime Dénès | 2017-03-17 |
|\ \ \ | |||
* \ \ \ | Merge PR#437: Improve unification debug trace. | Maxime Dénès | 2017-03-17 |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR#445: TACTIC EXTEND now takes an optional level as argument. | Maxime Dénès | 2017-03-17 |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR#442: Allow interactive editing of Coq.Init.Logic | Maxime Dénès | 2017-03-17 |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR#451: Add η principles for sigma types | Maxime Dénès | 2017-03-17 |
|\ \ \ \ \ \ \ | |||
* | | | | | | | | Attempt to improve error message when "apply in" fail. | Hugo Herbelin | 2017-03-15 |
* | | | | | | | | Merge PR#267: Proposal for an update of the recommended style in programming ... | Maxime Dénès | 2017-03-15 |
|\ \ \ \ \ \ \ \ | |||
| | | | | | | | * | [safe-string] Enable -safe-string ! | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] tools | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] ide | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] plugins/extraction | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] ltac/profile_ltac | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] toplevel/vernac | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] toplevel/coqloop | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] parsing/cLexer | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] interp/dumpglob | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] library/nameops | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] kernel/cemitcodes | Emilio Jesus Gallego Arias | 2017-03-14 |
* | | | | | | | | | Merge PR#444: Simplifying a statement in Hurkens.v + a case study for eauto | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ | |||
| | | | | | | * | | | Report missing tactic arguments in error message | Tej Chajed | 2017-03-14 |
| |_|_|_|_|_|/ / / |/| | | | | | | | | |||
| | | | | | | | * | [safe-string] kernel/nativevalues | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] kernel/term_typing | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] lib/miscelanea | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe-string] lib/cUnix | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | | | * | [safe_string] lib/cThread | Emilio Jesus Gallego Arias | 2017-03-14 |
* | | | | | | | | | Merge PR#438: Fix V7 syntax in refman. | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR#412: Remove outdated comment from 2002. | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | |||
* | | | | | | | | | | Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFun | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR#477: [travis] Basic support for overlays. | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR#473: [ci] Document that sudo: false is slower | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#464: [META] More fixes | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#446: Remove a dead exception catching code. | Maxime Dénès | 2017-03-14 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | * | [future] Remove unused parameter greedy. | Emilio Jesus Gallego Arias | 2017-03-14 |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | |||
| | | | * | | | | | | | | | | [travis] Basic support for overlays. | Emilio Jesus Gallego Arias | 2017-03-13 |
| |_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | |||
| * | | | | | | | | | | | | Remove a dead exception catching code. | Théo Zimmermann | 2017-03-13 |
|/ / / / / / / / / / / / | |||
* | | | | | | | | | | | | Merge PR#456: Proposing improvement to the CI targets for local use | Maxime Dénès | 2017-03-13 |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* | | | | | | | | | | | | | Updating core.dbg after ltac moved to plugins directory. | Hugo Herbelin | 2017-03-12 |
| * | | | | | | | | | | | | [travis] Make the git_checkout function more reliable. | Théo Zimmermann | 2017-03-10 |
| * | | | | | | | | | | | | [travis] Adding a template file and using it for all targets. | Théo Zimmermann | 2017-03-10 |
| * | | | | | | | | | | | | [travis] Change headband for wider compatibility. | Théo Zimmermann | 2017-03-10 |
| * | | | | | | | | | | | | Improve build of travis target on local machine. | Théo Zimmermann | 2017-03-10 |
|/ / / / / / / / / / / / | |||
| | * / / / / / / / / / | [ci] Document that sudo: false is slower | Tej Chajed | 2017-03-10 |
| |/ / / / / / / / / / |/| | | | | | | | | | |