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 | ||
* | | | Merge branch 'master'. | 2017-02-14 | ||
|\| | | ||||
* | | | Evar-normalizing functions now act on EConstrs. | 2017-02-14 | ||
* | | | Removing compatibility layers related to printing. | 2017-02-14 | ||
* | | | Goal API using EConstr. | 2017-02-14 | ||
| * | | Merge branch 'v8.6' | 2017-01-19 | ||
|/| | | |/ | ||||
| * | Fix broken .aux machinery. | 2017-01-13 | ||
* | | Merge branch 'v8.6' | 2016-10-02 | ||
|\| | ||||
| * | Merge branch 'v8.5' into v8.6 | 2016-09-30 | ||
| |\ | ||||
| | * | Make error message more helpful. | 2016-09-28 | ||
* | | | Merge PR #244. | 2016-09-08 | ||
|\ \ \ | ||||
* \ \ \ | Merge branch 'v8.6' | 2016-09-07 | ||
|\ \ \ \ | | |/ / | |/| | | ||||
| * | | | feedback: support multiple feedback listeners | 2016-09-05 | ||
* | | | | CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted" | 2016-08-26 | ||
* | | | | CLEANUP: changing the definition of the "Context.NamedList.Declaration" type | 2016-08-25 | ||
* | | | | CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" function | 2016-08-24 | ||
|/ / / | ||||
| * | | Make the user_err header an optional parameter. | 2016-08-19 | ||
| * | | Remove errorlabstrm in favor of user_err | 2016-08-19 | ||
| * | | Unify location handling of error functions. | 2016-08-19 | ||
|/ / | ||||
* | | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | 2016-07-03 | ||
* | | [feedback] Allow messages to carry a location. | 2016-06-25 | ||
* | | [feedback] Add optional ?loc parameter to loggers. | 2016-06-25 | ||
* | | ideslave: do not bail out in case of XML error | 2016-06-16 | ||
* | | Merge branch 'v8.5' | 2016-06-09 | ||
|\| | ||||
| * | Remove failure on non-.v files (bug #4752). | 2016-06-09 | ||
* | | Search interface revisions. | 2016-06-07 | ||
|\ \ | ||||
| * | | Removing the convenience functions from the Search API. | 2016-06-07 | ||
* | | | xmlprotocol: Marshal_error carries the reason | 2016-06-06 | ||
* | | | Encapsulate xml serialization in xmlprotocol.mli | 2016-06-02 | ||
* | | | Move serialization functions out of Stm | 2016-06-02 | ||
* | | | Feedback cleanup | 2016-05-31 | ||
| * | | avoid communicating to the serarch interface using raw strings. | 2016-04-24 | ||
|/ / | ||||
* | | Merge branch 'v8.5' | 2016-03-18 | ||
|\| | ||||
| * | CoqIDE is more resilient to initialization errors. | 2016-03-15 | ||
* | | CLEANUP: Context.{Rel,Named}.Declaration.t | 2016-02-09 | ||
* | | Merge branch 'v8.5' | 2016-01-21 | ||
|\| | ||||
| * | Update copyright headers. | 2016-01-20 | ||
* | | CLEANUP: kernel/context.ml{,i} | 2016-01-11 | ||
* | | Using GADTs in Xmlprotocol. | 2015-10-22 | ||
* | | Merge branch 'v8.5' | 2015-10-09 | ||
|\| | ||||
| * | Goptions: new value type: optional string | 2015-10-08 | ||
* | | Rich printing of CoqIDE protocol failure. | 2015-09-20 | ||
* | | Rich printing of messages. | 2015-09-20 | ||
* | | Rich printing of goals. | 2015-09-20 | ||
|/ | ||||
* | Ide: fix bug #4284 for good | 2015-07-08 | ||
* | Bug 4284: Tentative bugfix for detyping exception. | 2015-07-08 | ||
* | Reinstauring backtrace display in CoqIDE. | 2015-02-11 | ||
* | More efficient Richpp. | 2015-02-06 | ||
* | Update headers. | 2015-01-12 |