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
*
[stm] Remove STM-related vernaculars
Emilio Jesus Gallego Arias
2016-11-17
*
Coqide: fixing default local links for refman and stdlib.
Hugo Herbelin
2016-11-11
*
Making explicit that a result is discarded (ocaml warning).
Hugo Herbelin
2016-11-11
*
Add command 'Set foo Append "bar"' for appending to an option (bug #5109).
Guillaume Melquiond
2016-10-01
*
Merge branch 'v8.5' into v8.6
Maxime Dénès
2016-09-30
|
\
*
|
Fix bug #4798: compat notations should not modify the parser.
Pierre-Marie Pédrot
2016-09-29
*
|
Do not stop propagation of signals when Coq is busy (bug #3941).
Guillaume Melquiond
2016-09-28
|
*
Make error message more helpful.
Théo Zimmermann
2016-09-28
*
|
Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.
Pierre-Marie Pédrot
2016-09-27
*
|
CoqIDE: push to message win feedback Message(Debug,Info,Notice)
Enrico Tassi
2016-09-13
*
|
CoqIDE: Errors are sticky (fix #4368)
Enrico Tassi
2016-09-07
*
|
coqide: use Document instead of tags to detect sentences to `Skip (#4829)
Enrico Tassi
2016-09-05
*
|
xml_printer: use sensible names for putc and puts
Enrico Tassi
2016-09-05
*
|
feedback: support multiple feedback listeners
Enrico Tassi
2016-09-05
*
|
Fix bug #5051: Large outputs are garbled.
Pierre-Marie Pédrot
2016-08-30
*
|
Fix bug #4421: Messages dialog in Coqide resets.
Pierre-Marie Pédrot
2016-08-29
*
|
CoqIDE preserves unknown preferences.
Pierre-Marie Pédrot
2016-08-29
*
|
Fix inefficiency in CoqIDE display of tagged text.
Pierre-Marie Pédrot
2016-08-29
*
|
Merge branch 'v8.5' into v8.6
Pierre-Marie Pédrot
2016-08-16
|
\
|
|
*
Fix regression in Coqide's "forward one command" command
Xavier Leroy
2016-08-14
*
|
Adding a flag in CoqIDE to configure UNIX/Windows line ending.
Pierre-Marie Pédrot
2016-07-26
*
|
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-07-03
*
|
A new infrastructure for warnings.
Maxime Dénès
2016-06-29
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-06-27
|
\
|
*
|
Merge remote-tracking branch 'github/pr/223' into feedback-locations
Maxime Dénès
2016-06-27
|
\
\
*
|
|
Adding ability to put any pattern in binders, prefixed by a quote.
Daniel de Rauglaudre
2016-06-27
|
|
*
Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.
Pierre-Marie Pédrot
2016-06-27
|
*
|
[xmlproto] Remove duplicated deserialization.
Emilio Jesus Gallego Arias
2016-06-25
|
*
|
[feedback] Remove `ErrorMsg` in favor of `Message Error`.
Emilio Jesus Gallego Arias
2016-06-25
|
*
|
[feedback] Allow messages to carry a location.
Emilio Jesus Gallego Arias
2016-06-25
|
*
|
[feedback] Add optional ?loc parameter to loggers.
Emilio Jesus Gallego Arias
2016-06-25
|
*
|
[feedback] Remove unused tag on `Debug` level.
Emilio Jesus Gallego Arias
2016-06-25
|
/
/
*
|
ideslave: do not bail out in case of XML error
Enrico Tassi
2016-06-16
*
|
Merge remote-tracking branch 'github/pr/194' into trunk
Maxime Dénès
2016-06-16
|
\
\
*
\
\
Merge remote-tracking branch 'origin/pr/173' into trunk
Enrico Tassi
2016-06-14
|
\
\
\
*
\
\
\
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-06-09
|
\
\
\
\
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Merge PR #190: Add configurable shortcuts for user queries to CoqIDE.
Pierre-Marie Pédrot
2016-06-09
|
\
\
\
\
|
|
*
|
|
Remove failure on non-.v files (bug #4752).
Guillaume Melquiond
2016-06-09
*
|
|
|
|
Search interface revisions.
Pierre-Marie Pédrot
2016-06-07
|
\
\
\
\
\
|
*
|
|
|
|
Removing the convenience functions from the Search API.
Pierre-Marie Pédrot
2016-06-07
|
|
|
|
*
|
CoqIDE: remove useless print
Enrico Tassi
2016-06-07
|
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
|
*
Adding an only printing flag to notations.
Pierre-Marie Pédrot
2016-06-07
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
xmlprotocol: fix unmarshaling of Feedback.Message
Enrico Tassi
2016-06-06
*
|
|
|
xmlprotocol: uncomment marshalling code for custom message
Enrico Tassi
2016-06-06
*
|
|
|
xmlprotocol: Marshal_error carries the reason
Enrico Tassi
2016-06-06
*
|
|
|
Move ide serialization libraries from lib/ to ide/
Emilio Jesus Gallego Arias
2016-06-02
*
|
|
|
Encapsulate xml serialization in xmlprotocol.mli
Emilio Jesus Gallego Arias
2016-06-02
*
|
|
|
Move serialization functions out of Stm
Emilio Jesus Gallego Arias
2016-06-02
|
|
|
*
Fix build (use the same mllib file as in trunk).
Guillaume Melquiond
2016-06-02
|
|
|
*
Avoid refreshing the segment widget each time a sentence is added.
Lionel Rieg
2016-06-02
[next]