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
*
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
*
|
|
|
Avoid refreshing the segment widget each time a sentence is added.
Lionel Rieg
2016-06-02
|
|
*
|
User queries can be terminated with "...".
Cyprien Mangin
2016-06-02
|
|
*
|
Dynamic modifier for Queries menu in CoqIDE.
Cyprien Mangin
2016-06-02
|
|
*
|
Better sanitization of user queries in CoqIDE.
Cyprien Mangin
2016-06-02
|
|
*
|
Add an option to configure the modifier for Queries.
Cyprien Mangin
2016-06-02
|
|
*
|
Merge the user queries tab with the shortcut tab.
Cyprien Mangin
2016-06-02
|
|
*
|
Slightly better interface to edit queries.
Cyprien Mangin
2016-06-02
|
|
*
|
Add user-created queries to CoqIDE.
Cyprien Mangin
2016-06-02
|
|
*
|
Add a [Show Proof.] query to CoqIDE.
Cyprien Mangin
2016-06-02
|
|
/
/
|
/
|
|
[next]