index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-15
|
\
|
*
Fix some typos.
Guillaume Melquiond
2015-10-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-09
|
\
|
|
*
Goptions: new value type: optional string
Enrico Tassi
2015-10-08
*
|
Use default GTK styles for CoqIDE tags.
Pierre-Marie Pédrot
2015-09-26
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-25
|
\
|
*
|
Fixing unsetting of CoqIDE tags.
Pierre-Marie Pédrot
2015-09-24
|
*
Change the default modifiers for navigation. (Fix bug #4295)
Guillaume Melquiond
2015-09-21
*
|
Rich printing of CoqIDE protocol failure.
Pierre-Marie Pédrot
2015-09-20
*
|
Rich printing of messages.
Pierre-Marie Pédrot
2015-09-20
*
|
Rich printing of goals.
Pierre-Marie Pédrot
2015-09-20
*
|
Adding rich printing primitives.
Pierre-Marie Pédrot
2015-09-20
*
|
Do not canonicalize messages received by CoqIDE.
Pierre-Marie Pédrot
2015-09-20
*
|
Pluging in tag preferences into buffer printing.
Pierre-Marie Pédrot
2015-09-20
*
|
Adding standard printing tags to CoqIDE.
Pierre-Marie Pédrot
2015-09-20
*
|
Adding a tag preference
Pierre-Marie Pédrot
2015-09-20
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-09-17
|
\
|
|
*
Removing a warning in CoqOps.
Pierre-Marie Pédrot
2015-09-15
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-13
|
\
|
|
*
Fixing bug #2498: Coqide navigation preferences delayed effect.
Pierre-Marie Pédrot
2015-09-12
|
*
Extending the grammar for CoqIDE preferences so as to match trunk.
Pierre-Marie Pédrot
2015-09-10
*
|
Switching to an event-based mechanism for CoqIDE preferences.
Pierre-Marie Pédrot
2015-08-31
*
|
Replacing old-style preferences in CoqIDE.
Pierre-Marie Pédrot
2015-08-26
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
|
*
Highlighting of the "Next Obligation" command in CoqIDE.
Pierre-Marie Pédrot
2015-08-17
*
|
Using the new preference mechanism for colors in CoqIDE.
Pierre-Marie Pédrot
2015-08-16
*
|
Taking advantage of the new type of preferences.
Pierre-Marie Pédrot
2015-08-16
*
|
Turning CoqIDE preferences into new style.
Pierre-Marie Pédrot
2015-08-16
*
|
Simplifying CoqIDE preferences mechanism.
Pierre-Marie Pédrot
2015-08-16
|
*
Reverting 16 last commits, committed mistakenly using the wrong push command.
Hugo Herbelin
2015-08-02
|
*
Failing when reaching end of file with unterminated comment when
Hugo Herbelin
2015-08-02
|
/
*
Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)
Guillaume Melquiond
2015-07-28
*
CoqIDE: recenter on backtrack (Close: #4277)
Enrico Tassi
2015-07-11
*
Highlighting Universe in CoqIDE.
Hugo Herbelin
2015-07-10
*
Ide: fix bug #4284 for good
Matthieu Sozeau
2015-07-08
*
Bug 4284: Tentative bugfix for detyping exception.
Matthieu Sozeau
2015-07-08
*
Make end-of-proof output consistent across toplevels.
Guillaume Melquiond
2015-06-19
*
Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.
Hugo Herbelin
2015-06-16
*
Fixing bug #4233: The command Restart is not fontified correctly.
Pierre-Marie Pédrot
2015-06-07
*
coqide: don't require ocaml >= 4
Enrico Tassi
2015-05-29
*
Jump to error line in CoqIDE grabs focus of the textview.
Pierre-Marie Pédrot
2015-05-26
*
CoqIDE columns in error and job panels can be sorted.
Pierre-Marie Pédrot
2015-05-25
*
Compatibility ocaml 3.12.
Hugo Herbelin
2015-05-05
*
Granting wish #4221.
Pierre-Marie Pédrot
2015-05-05
*
Improve syntax highlighting.
Guillaume Melquiond
2015-04-27
*
Open the file chooser even if there is no current session. (Fix bug #4206)
Guillaume Melquiond
2015-04-26
*
Add extraction to JSON.
Nickolai Zeldovich
2015-04-09
*
Use the directory of the current session for selecting files to open.
Guillaume Melquiond
2015-04-03
*
CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)
Enrico Tassi
2015-04-02
*
CoqIDE: load first _CoqProject file found and notify the user
Enrico Tassi
2015-03-11
[next]