| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | | | | | | | | | | | Merge PR#580: [ide] Fix #5482 "location for query commands" in IDE. |  Maxime Dénès | 2017-04-24 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#581: [toplevel] [emacs] Don't quote errors in emacs mode. | Maxime Dénès | 2017-04-24 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#492: [travis] Pin camlp5 to the minimal version 6.14 for 4.02.3 | Maxime Dénès | 2017-04-24 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge 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.3 |  Emilio Jesus Gallego Arias | 2017-04-24 | |
| | | | * | | | | | | | | | | | | | [toplevel] [emacs] Don't quote errors in emacs mode. | Emilio Jesus Gallego Arias | 2017-04-23 | |
| | | |/ / / / / / / / / / / / / | ||||
| * | | | | | | | | | | | | | | | Merge branch v8.6 into trunk |  Hugo Herbelin | 2017-04-22 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|/ / / / / | |/| | | | | | | | | | | | | | ||||
| * | | | | | | | | | | | | | | | Removing TODO file which is unused for more than 10 years. | Hugo Herbelin | 2017-04-22 | |
| | |_|/ / / / / / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | * | | | | | | | | | | | [ide] Fix #5482 "location for query commands" in IDE. | Emilio Jesus Gallego Arias | 2017-04-21 | |
| | |_|/ / / / / / / / / / / |/| | | | | | | | | | | | | ||||
| | | | * | | | | | | | | | | Remove VernacError |  Gaetan Gilbert | 2017-04-21 | |
| | |_|/ / / / / / / / / / |/| | | | | | | | | | | | ||||
| | | | | | | * | | | | | | [flags] Deprecate is_silent/is_verbose in favor of single flag. | Emilio Jesus Gallego Arias | 2017-04-21 | |
| | | | | | | | | * | | | | Add bedrock targets src and facade |  Jason Gross | 2017-04-20 | |
| | | |_|_|_|_|_|/ / / / | |/| | | | | | | | | | ||||
| | | | | | | | * | | | | Fix nsatz not recognizing real literals. |  Guillaume Melquiond | 2017-04-20 | |
| | |_|_|_|_|_|/ / / / |/| | | | | | | | | | ||||
| | | | | | | | * | | | Fix bug #5377: @? patterns broken. |  Pierre-Marie Pédrot | 2017-04-20 | |
| | | |_|_|_|_|/ / / | |/| | | | | | | | ||||
| | | | | * | | | | | COMMENT: Pre_env.env |  Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | COMMENT: Proof_global.pstate.pid | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | refactoring "Ppvernac.pr_extend" | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | correcting a typo in a comment | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | correcting comments in the "Context" module | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | "tclENV" is sexier, use it instead of "Env.get" | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | reduce syntactic noise | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | simplifying "Environ.push_named" function | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | refactoring "Names.DirPath.is_empty" function | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | refactoring "Names.DirPath.compare" function | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | refactoring "Names.DirPath.equal" function | Matej Kosik | 2017-04-20 | |
| | | | | * | | | | | correcting a typo in a comment | Matej Kosik | 2017-04-20 | |
| | |_|_|/ / / / / |/| | | | | | | | ||||
| | | * | | | | | | [ide] Set Stateid in query pane. | Emilio Jesus Gallego Arias | 2017-04-20 | |
| | | * | | | | | | [ide] Rely less on `Stateid.dummy` | Emilio Jesus Gallego Arias | 2017-04-19 | |
| | | | |_|/ / / | | |/| | | | | ||||
| | | | * | | | | Documenting EConstr for developpers. | Pierre-Marie Pédrot | 2017-04-19 | |
| | | |/ / / / | ||||
| | | | * / / | Fix bug #5476: Ltac has an inconsistent view of hypotheses. | Pierre-Marie Pédrot | 2017-04-19 | |
| | |_|/ / / |/| | | | | ||||
| * | | | | | Merge PR#573: [toplevel] Fix printing of parsing errors + corner case. | Maxime Dénès | 2017-04-19 | |
| |\ \ \ \ \ | ||||
| * | | | | | | CHANGES entry for #545. | Maxime Dénès | 2017-04-19 | |
| * | | | | | | Merge PR#545: Add some hints to the "real" database to automatically discharg... | Maxime Dénès | 2017-04-19 | |
| |\ \ \ \ \ \ | ||||
| | | | * \ \ \ | Merge PR#538: Correction of bug #4306 | Maxime Dénès | 2017-04-19 | |
| | | | |\ \ \ \ | ||||
| * | | | \ \ \ \ | Merge PR#570: Adding and fixing links in README. | Maxime Dénès | 2017-04-19 | |
| |\ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ | Merge PR#571: [toplevel] Fix #5475 | Maxime Dénès | 2017-04-19 | |
| |\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / / |/| | | | | | | | | ||||
| | | | | * | | | | | [toplevel] Fix printing of parsing errors + corner case. | Emilio Jesus Gallego Arias | 2017-04-19 | |
| | |_|_|/ / / / / |/| | | | | | | | ||||
| | * | | | | | | | [toplevel] Fix #5475 | Emilio Jesus Gallego Arias | 2017-04-18 | |
| |/ / / / / / / | ||||
| | * / / / / / | Adding and fixing links in README. |  Théo Zimmermann | 2017-04-18 | |
| |/ / / / / / | ||||
| * | | | | | | Add a test for bug #5321: clearbody breaks typing of goal. | Pierre-Marie Pédrot | 2017-04-17 | |
| * | | | | | | Merge branch 'v8.6' into trunk | Maxime Dénès | 2017-04-15 | |
| |\ \ \ \ \ \ | | |/ / / / | |/| | | | | ||||
| * | | | | | | Merge PR#523: [readme] Add badges for Travis and Gitter. | Maxime Dénès | 2017-04-15 | |
| |\ \ \ \ \ \ | ||||
| | | * | | | | | Fixing bug #5470 (anomaly on notations with misused "binder" type). | Hugo Herbelin | 2017-04-14 | |
| | | * | | | | | Fixing bug #5469 (notation format not recognizing curly braces). | Hugo Herbelin | 2017-04-14 | |
| | | * | | | | | Fix EOL characters in xml protocol documentation. | Maxime Dénès | 2017-04-14 | |
| | | * | | | | | Merge PR#556: Fix anomaly when doing [all:Check _.] during a proof. | Maxime Dénès | 2017-04-14 | |
| | | |\ \ \ \ \ | ||||
| | | | * | | | | | Fix anomaly when doing [all:Check _.] during a proof. | Gaetan Gilbert | 2017-04-14 | |
| * | | | | | | | | Merge PR#557: [toplevel] Don't print goals if there is no pending proof. | Maxime Dénès | 2017-04-14 | |
| |\ \ \ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ \ \ | Merge PR#554: Update INSTALL now that -debug is the default. | Maxime Dénès | 2017-04-14 | |
| |\ \ \ \ \ \ \ \ \ | ||||
| | | | | * \ \ \ \ \ | Merge PR#563: add XML protocol doc for 8.6 | Maxime Dénès | 2017-04-14 | |
| | | | | |\ \ \ \ \ \ | ||||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |