aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
...
| * Fix regression in Coqide's "forward one command" commandGravatar Xavier Leroy2016-08-14
* | Adding a flag in CoqIDE to configure UNIX/Windows line ending.Gravatar Pierre-Marie Pédrot2016-07-26
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* | A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-27
|\|
* | Merge remote-tracking branch 'github/pr/223' into feedback-locationsGravatar Maxime Dénès2016-06-27
|\ \
* | | Adding ability to put any pattern in binders, prefixed by a quote.Gravatar Daniel de Rauglaudre2016-06-27
| | * Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Gravatar Pierre-Marie Pédrot2016-06-27
| * | [xmlproto] Remove duplicated deserialization.Gravatar Emilio Jesus Gallego Arias2016-06-25
| * | [feedback] Remove `ErrorMsg` in favor of `Message Error`.Gravatar Emilio Jesus Gallego Arias2016-06-25
| * | [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
| * | [feedback] Add optional ?loc parameter to loggers.Gravatar Emilio Jesus Gallego Arias2016-06-25
| * | [feedback] Remove unused tag on `Debug` level.Gravatar Emilio Jesus Gallego Arias2016-06-25
|/ /
* | ideslave: do not bail out in case of XML errorGravatar Enrico Tassi2016-06-16
* | Merge remote-tracking branch 'github/pr/194' into trunkGravatar Maxime Dénès2016-06-16
|\ \
* \ \ Merge remote-tracking branch 'origin/pr/173' into trunkGravatar Enrico Tassi2016-06-14
|\ \ \
* \ \ \ Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-09
|\ \ \ \ | | |_|/ | |/| |
* | | | Merge PR #190: Add configurable shortcuts for user queries to CoqIDE.Gravatar Pierre-Marie Pédrot2016-06-09
|\ \ \ \
| | * | | Remove failure on non-.v files (bug #4752).Gravatar Guillaume Melquiond2016-06-09
* | | | | Search interface revisions.Gravatar Pierre-Marie Pédrot2016-06-07
|\ \ \ \ \
| * | | | | Removing the convenience functions from the Search API.Gravatar Pierre-Marie Pédrot2016-06-07
| | | | * | CoqIDE: remove useless printGravatar Enrico Tassi2016-06-07
| |_|_|/ / |/| | | |
| | | | * Adding an only printing flag to notations.Gravatar Pierre-Marie Pédrot2016-06-07
| |_|_|/ |/| | |
* | | | xmlprotocol: fix unmarshaling of Feedback.MessageGravatar Enrico Tassi2016-06-06
* | | | xmlprotocol: uncomment marshalling code for custom messageGravatar Enrico Tassi2016-06-06
* | | | xmlprotocol: Marshal_error carries the reasonGravatar Enrico Tassi2016-06-06
* | | | Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* | | | Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* | | | Move serialization functions out of StmGravatar Emilio Jesus Gallego Arias2016-06-02
| | | * Fix build (use the same mllib file as in trunk).Gravatar Guillaume Melquiond2016-06-02
| | | * Avoid refreshing the segment widget each time a sentence is added.Gravatar Lionel Rieg2016-06-02
* | | | Avoid refreshing the segment widget each time a sentence is added.Gravatar Lionel Rieg2016-06-02
| | * | User queries can be terminated with "...".Gravatar Cyprien Mangin2016-06-02
| | * | Dynamic modifier for Queries menu in CoqIDE.Gravatar Cyprien Mangin2016-06-02
| | * | Better sanitization of user queries in CoqIDE.Gravatar Cyprien Mangin2016-06-02
| | * | Add an option to configure the modifier for Queries.Gravatar Cyprien Mangin2016-06-02
| | * | Merge the user queries tab with the shortcut tab.Gravatar Cyprien Mangin2016-06-02
| | * | Slightly better interface to edit queries.Gravatar Cyprien Mangin2016-06-02
| | * | Add user-created queries to CoqIDE.Gravatar Cyprien Mangin2016-06-02
| | * | Add a [Show Proof.] query to CoqIDE.Gravatar Cyprien Mangin2016-06-02
| |/ / |/| |
* | | Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* | | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
|\ \ \ | | |/ | |/|
| * | Use the actual location of an error in the error pane (bug #4169).Gravatar Guillaume Melquiond2016-05-09
* | | Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* | | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-02
|\| |
| * | Reduce ide/coq.png to 256x256.Gravatar Guillaume Melquiond2016-04-29
| * | Make the language grammar much more precise. (Fix bugs #4682 and #4683)Gravatar Guillaume Melquiond2016-04-28
| | * avoid communicating to the serarch interface using raw strings.Gravatar Gregory Malecha2016-04-24
| |/ |/|
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-18
|\|
| * CoqIDE is more resilient to initialization errors.Gravatar Pierre-Marie Pédrot2016-03-15