aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
...
| * Evar-normalizing functions now act on EConstrs.Gravatar Pierre-Marie Pédrot2017-02-14
| * Removing compatibility layers related to printing.Gravatar Pierre-Marie Pédrot2017-02-14
| * Goal API using EConstr.Gravatar Pierre-Marie Pédrot2017-02-14
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-02-01
|\ \
* \ \ Merge PR#355: Remove unused feedback_content: GoalsGravatar Maxime Dénès2017-01-30
|\ \ \
| | * | Fix documentation typos.Gravatar Guillaume Melquiond2017-01-27
* | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\ \ \ \ | | |/ / | |/| |
| * | | Fix broken .aux machinery.Gravatar Guillaume Melquiond2017-01-13
* | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-12-07
|\| | |
| * | | [merlin] Adjust merlin for ide.Gravatar Emilio Jesus Gallego Arias2016-11-30
| * | | Fix some documentation typos.Gravatar Guillaume Melquiond2016-11-24
* | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-18
|\| | | | |_|/ |/| |
| * | Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"Gravatar Maxime Dénès2016-11-18
| * | [stm] Remove STM-related vernacularsGravatar Emilio Jesus Gallego Arias2016-11-17
| * | Coqide: fixing default local links for refman and stdlib.Gravatar Hugo Herbelin2016-11-11
| * | Making explicit that a result is discarded (ocaml warning).Gravatar Hugo Herbelin2016-11-11
| | * Remove unused feedback_content: GoalsGravatar CJ Bell2016-11-10
| |/ |/|
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-05
|\|
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\ \
| | * Add command 'Set foo Append "bar"' for appending to an option (bug #5109).Gravatar Guillaume Melquiond2016-10-01
| |/
| * Merge branch 'v8.5' into v8.6Gravatar Maxime Dénès2016-09-30
| |\
| * | Fix bug #4798: compat notations should not modify the parser.Gravatar Pierre-Marie Pédrot2016-09-29
| * | Do not stop propagation of signals when Coq is busy (bug #3941).Gravatar Guillaume Melquiond2016-09-28
| | * Make error message more helpful.Gravatar Théo Zimmermann2016-09-28
| * | Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.Gravatar Pierre-Marie Pédrot2016-09-27
* | | Revert "Merge remote-tracking branch 'github/pr/283' into trunk"Gravatar Maxime Dénès2016-09-22
* | | Merge remote-tracking branch 'github/pr/283' into trunkGravatar Maxime Dénès2016-09-22
|\ \ \
* | | | Removing dead code in CoqIDE.Gravatar Pierre-Marie Pédrot2016-09-21
| * | | Stylistic improvements in intf/decl_kinds.mli.Gravatar Maxime Dénès2016-09-20
|/ / /
* | | Make the Coq codebase independent from Ltac-related code.Gravatar Pierre-Marie Pédrot2016-09-16
|\ \ \
* \ \ \ Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-14
|\ \ \ \ | | |/ / | |/| |
| * | | CoqIDE: push to message win feedback Message(Debug,Info,Notice)Gravatar Enrico Tassi2016-09-13
| | * | Removing the last uses of Pptactic in the lower layers.Gravatar Pierre-Marie Pédrot2016-09-09
| | * | Making Vernacexpr independent from Tacexpr.Gravatar Pierre-Marie Pédrot2016-09-08
| |/ / |/| |
* | | Merge PR #244.Gravatar Pierre-Marie Pédrot2016-09-08
|\ \ \
* \ \ \ Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-07
|\ \ \ \ | | |/ / | |/| |
| * | | CoqIDE: Errors are sticky (fix #4368)Gravatar Enrico Tassi2016-09-07
| * | | coqide: use Document instead of tags to detect sentences to `Skip (#4829)Gravatar Enrico Tassi2016-09-05
| * | | xml_printer: use sensible names for putc and putsGravatar Enrico Tassi2016-09-05
| * | | feedback: support multiple feedback listenersGravatar Enrico Tassi2016-09-05
* | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-02
|\| | |
| * | | Fix bug #5051: Large outputs are garbled.Gravatar Pierre-Marie Pédrot2016-08-30
* | | | CLEANUP: removing a function that duplicates its counterpart already present ...Gravatar Matej Kosik2016-08-30
| * | | Fix bug #4421: Messages dialog in Coqide resets.Gravatar Pierre-Marie Pédrot2016-08-29
| * | | CoqIDE preserves unknown preferences.Gravatar Pierre-Marie Pédrot2016-08-29
| * | | Fix inefficiency in CoqIDE display of tagged text.Gravatar Pierre-Marie Pédrot2016-08-29
* | | | CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"Gravatar Matej Kosik2016-08-26
* | | | CLEANUP: changing the definition of the "Context.NamedList.Declaration" typeGravatar Matej Kosik2016-08-25
* | | | CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" functionGravatar Matej Kosik2016-08-24
|/ / /
| * | Make the user_err header an optional parameter.Gravatar Emilio Jesus Gallego Arias2016-08-19