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
...
|
|
|
*
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
|
|
/
/
|
/
|
|
*
|
|
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-31
*
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-09
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Use the actual location of an error in the error pane (bug #4169).
Guillaume Melquiond
2016-05-09
*
|
|
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-05-08
*
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-02
|
\
|
|
|
*
|
Reduce ide/coq.png to 256x256.
Guillaume Melquiond
2016-04-29
|
*
|
Make the language grammar much more precise. (Fix bugs #4682 and #4683)
Guillaume Melquiond
2016-04-28
|
|
*
avoid communicating to the serarch interface using raw strings.
Gregory Malecha
2016-04-24
|
|
/
|
/
|
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-18
|
\
|
|
*
CoqIDE is more resilient to initialization errors.
Pierre-Marie Pédrot
2016-03-15
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-02-21
|
\
|
|
*
Fixing bug #4540: CoqIDE bottom progress bar does not update.
Pierre-Marie Pédrot
2016-02-20
|
*
CoqIDE: STOP button also stops workers (fix #4542)
Enrico Tassi
2016-02-19
*
|
CLEANUP: Context.{Rel,Named}.Declaration.t
Matej Kosik
2016-02-09
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
merge
Matej Kosik
2016-01-11
|
\
\
|
*
|
CLEANUP: kernel/context.ml{,i}
Matej Kosik
2016-01-11
*
|
|
Remove deprecated command-line options such as "-as".
Guillaume Melquiond
2016-01-06
*
|
|
Make code more readable by not mixing list traversal and option processing.
Guillaume Melquiond
2016-01-06
*
|
|
Merge remote-tracking branch 'origin/v8.5' into trunk
Guillaume Melquiond
2016-01-06
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...
Guillaume Melquiond
2016-01-06
*
|
|
Remove some unused functions.
Guillaume Melquiond
2016-01-02
*
|
|
Remove some useless type declarations.
Guillaume Melquiond
2016-01-02
*
|
|
Avoid warnings about loop indices.
Guillaume Melquiond
2016-01-02
*
|
|
Remove useless rec flags.
Guillaume Melquiond
2016-01-02
*
|
|
Fix typos.
Guillaume Melquiond
2016-01-01
*
|
|
Remove unplugged button from the interface.
Guillaume Melquiond
2016-01-01
|
|
/
|
/
|
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-15
|
\
|
|
*
Fixing little bug of coq_makefile with unterminated comment.
Hugo Herbelin
2015-12-14
|
*
CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' message
Enrico Tassi
2015-12-14
|
*
Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk
Maxime Dénès
2015-12-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-30
|
\
|
|
*
Fix typo.
Guillaume Melquiond
2015-10-30
*
|
Using GADTs in Xmlprotocol.
Pierre-Marie Pédrot
2015-10-22
*
|
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
[prev]
[next]