aboutsummaryrefslogtreecommitdiff
path: root/ide/coqOps.ml
AgeCommit message (Expand)Author
2014-03-26CoqIDE: better error reporting for Qed on incomplete proofEnrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-30STM: tell the user if the master is recomputing states validated by workersEnrico Tassi
2014-01-06CoqIDE: do not unfocus if not needed on errors (closes: 3197)Enrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-11-27CoqIDE: show error message for parsing errorsEnrico Tassi
2013-10-31CoqIDE: scroll to the right position if there is an interp errorgareuselesinge
2013-10-24CoqIDE: fix coloring bug when jumping back to the first phrasegareuselesinge
2013-10-23cList: set-as-list functions are now with an explicit comparisonletouzey
2013-10-22CoqIDE: do not try to backtrack to a dummy idgareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-10CoqIDE: error reporting fixedgareuselesinge
2013-10-10CoqIDE: ported to Documentgareuselesinge
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-07CoqIDE: fix jumpig out of a focused proofgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
2013-10-01CoqIDE: when checking the whole document, center script view on errorgareuselesinge
2013-10-01CoqIDE: fixed advance_until wrt unfocusinggareuselesinge
2013-10-01CoqIDE: do not print cmd_stack too oftengareuselesinge
2013-10-01CoqIDE: fix reset initialgareuselesinge
2013-09-30CoqIDE: wg_Tooltip removed, new tooltip handlinggareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-09-13When Coq is reset-initialed by CoqIDE, do reset jobs countersgareuselesinge
2013-09-13CoqIDE: new async error reporting window and slaves statusgareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-11Automatic backtracking if locked zone is editedgareuselesinge
2013-08-09Adding the processed tag to comments in CoqIDE.ppedrot
2013-08-08Coqide ported to STMgareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-26Uniformization of Coq tasksppedrot
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-11Coqide: allow editing even during a backtrackletouzey
2012-12-10Coqide: restore the tag removal of copy-pasted zonesletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 22:48:31 +0000