index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
coqOps.ml
Commit message (
Expand
)
Author
Age
...
*
CoqIDE: fix jumpig out of a focused proof
gareuselesinge
2013-10-07
*
CoqIDE: cStack -> Document
gareuselesinge
2013-10-07
*
CoqIDE: when checking the whole document, center script view on error
gareuselesinge
2013-10-01
*
CoqIDE: fixed advance_until wrt unfocusing
gareuselesinge
2013-10-01
*
CoqIDE: do not print cmd_stack too often
gareuselesinge
2013-10-01
*
CoqIDE: fix reset initial
gareuselesinge
2013-10-01
*
CoqIDE: wg_Tooltip removed, new tooltip handling
gareuselesinge
2013-09-30
*
CoqIDE ported to the revides protocol
gareuselesinge
2013-09-30
*
When Coq is reset-initialed by CoqIDE, do reset jobs counters
gareuselesinge
2013-09-13
*
CoqIDE: new async error reporting window and slaves status
gareuselesinge
2013-09-13
*
CoqIDE: show number of proofs being checked in background
gareuselesinge
2013-09-12
*
Moving Searchstack to CStack, and normalizing names a bit.
ppedrot
2013-09-06
*
Modulification and removing of structural equality in Stateid.
ppedrot
2013-08-19
*
Automatic backtracking if locked zone is edited
gareuselesinge
2013-08-11
*
Adding the processed tag to comments in CoqIDE.
ppedrot
2013-08-09
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
Coqide: Globalization feedback (proof of concept)
gareuselesinge
2013-04-25
*
raise UnsafeSuccess -> feedback AddedAxiom
gareuselesinge
2013-04-25
*
Coqide: new feedback mechanism for structured content
gareuselesinge
2013-04-25
*
Monadification of coqtop queries in CoqIDE
ppedrot
2013-01-26
*
Uniformization of Coq tasks
ppedrot
2013-01-26
*
Coqide: cleaner Coq.PrintOpt and session creation
letouzey
2012-12-19
*
Coqide: allow editing even during a backtrack
letouzey
2012-12-11
*
Coqide: restore the tag removal of copy-pasted zones
letouzey
2012-12-10
*
Coqide: some more refactoring to lighten coqide.ml
letouzey
2012-12-10
[prev]