aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-02-21
|\|
| * Fixing bug #4540: CoqIDE bottom progress bar does not update.Gravatar Pierre-Marie Pédrot2016-02-20
| * CoqIDE: STOP button also stops workers (fix #4542)Gravatar Enrico Tassi2016-02-19
* | CLEANUP: Context.{Rel,Named}.Declaration.tGravatar Matej Kosik2016-02-09
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | mergeGravatar Matej Kosik2016-01-11
|\ \
| * | CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* | | Remove deprecated command-line options such as "-as".Gravatar Guillaume Melquiond2016-01-06
* | | Make code more readable by not mixing list traversal and option processing.Gravatar Guillaume Melquiond2016-01-06
* | | Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\ \ \ | | |/ | |/|
| * | Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...Gravatar Guillaume Melquiond2016-01-06
* | | Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* | | Remove some useless type declarations.Gravatar Guillaume Melquiond2016-01-02
* | | Avoid warnings about loop indices.Gravatar Guillaume Melquiond2016-01-02
* | | Remove useless rec flags.Gravatar Guillaume Melquiond2016-01-02
* | | Fix typos.Gravatar Guillaume Melquiond2016-01-01
* | | Remove unplugged button from the interface.Gravatar Guillaume Melquiond2016-01-01
| |/ |/|
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-15
|\|
| * Fixing little bug of coq_makefile with unterminated comment.Gravatar Hugo Herbelin2015-12-14
| * CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' messageGravatar Enrico Tassi2015-12-14
| * Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkGravatar Maxime Dénès2015-12-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-30
|\|
| * Fix typo.Gravatar Guillaume Melquiond2015-10-30
* | Using GADTs in Xmlprotocol.Gravatar Pierre-Marie Pédrot2015-10-22
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-15
|\|
| * Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-09
|\|
| * Goptions: new value type: optional stringGravatar Enrico Tassi2015-10-08
* | Use default GTK styles for CoqIDE tags.Gravatar Pierre-Marie Pédrot2015-09-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
* | Fixing unsetting of CoqIDE tags.Gravatar Pierre-Marie Pédrot2015-09-24
| * Change the default modifiers for navigation. (Fix bug #4295)Gravatar Guillaume Melquiond2015-09-21
* | Rich printing of CoqIDE protocol failure.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of goals.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding rich printing primitives.Gravatar Pierre-Marie Pédrot2015-09-20
* | Do not canonicalize messages received by CoqIDE.Gravatar Pierre-Marie Pédrot2015-09-20
* | Pluging in tag preferences into buffer printing.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding standard printing tags to CoqIDE.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding a tag preferenceGravatar Pierre-Marie Pédrot2015-09-20
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-09-17
|\|
| * Removing a warning in CoqOps.Gravatar Pierre-Marie Pédrot2015-09-15
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-13
|\|
| * Fixing bug #2498: Coqide navigation preferences delayed effect.Gravatar Pierre-Marie Pédrot2015-09-12
| * Extending the grammar for CoqIDE preferences so as to match trunk.Gravatar Pierre-Marie Pédrot2015-09-10
* | Switching to an event-based mechanism for CoqIDE preferences.Gravatar Pierre-Marie Pédrot2015-08-31
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26