aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-10STM: a proof with nested proofs cannot be delegatedgareuselesinge
2013-10-10STM: add "Stm Wait" to wait for the slaves to complete their jobsgareuselesinge
2013-10-10Clib: fold_left_until added to CListgareuselesinge
2013-10-10CoqIDE: a comment is not a sentencegareuselesinge
2013-10-09Fixing CAMLP4 compilation.ppedrot
2013-10-08Small code cleaning in Evarutil.ppedrot
2013-10-08Fixing 2 output test-suites.ppedrot
2013-10-07STM: new command "Stm PrintDag" to force printing the dag to /tmpgareuselesinge
2013-10-07STM: fix verbosity of queriesgareuselesinge
2013-10-07fake_ide: speak the new protocolgareuselesinge
2013-10-07STM: spit a warning if an out of bound Back* command is issuedgareuselesinge
2013-10-07coqtop: init STM before loading rcfilegareuselesinge
2013-10-07CoqIDE: fix jumpig out of a focused proofgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
2013-10-07cStack: make it just a Stack with some extra APIgareuselesinge
2013-10-06Removing useless evar code.ppedrot
2013-10-06Added a [modify] function to maps.ppedrot
2013-10-06Removing uses of Evar.add in class-related functions.ppedrot
2013-10-05Removing dubious use of evarmap manipulating functions in printingppedrot
2013-10-05Moving side effects into evar_map. There was no reason to keep anotherppedrot
2013-10-05Fixing potential evar leak in Rewrite, and removing dead code.ppedrot
2013-10-05Fixing potential evar leak in Equality.ppedrot
2013-10-04Splitting Class_tactics between code and CAMLP4/5 declarations.ppedrot
2013-10-04Fix comment for new string syntax (OCaml trunk).xclerc
2013-10-03A shallow copy of a pre_env does not contain the vm cachegareuselesinge
2013-10-03STM: understand -coq-slaves-opts extra-env=VAR=valgareuselesinge
2013-10-03STM: if -coq-slaves off really imitate the old CoqIDEgareuselesinge
2013-10-03CoqIDE: when jumping to an error also move the cursorgareuselesinge
2013-10-03STM: add options to disable fallbacks to ease regression testinggareuselesinge
2013-10-03Regression test suite for STMgareuselesinge
2013-10-03STM: number of slaves passed by the command linegareuselesinge
2013-10-03STM: avoid "kill 9 pid" if we know the slave diedgareuselesinge
2013-10-03STM: delegate proofs to slaves only if they are not trivialgareuselesinge
2013-10-03STM: take a shallow snapshot for the first proof stepgareuselesinge
2013-10-01CoqIDE: when checking the whole document, center script view on errorgareuselesinge
2013-10-01CoqIDE: fixed advance_until wrt unfocusinggareuselesinge
2013-10-01typogareuselesinge
2013-10-01demo file for paral-itpgareuselesinge
2013-10-01CoqIDE: do not print cmd_stack too oftengareuselesinge
2013-10-01STM: fully force a proof ourput before sending it back to the mastergareuselesinge
2013-10-01STM: better error messages in case of marshal failuregareuselesinge
2013-10-01STM: fix reporting of ongoing tasksgareuselesinge
2013-10-01STM: exceptions caming from slaves are now localizedgareuselesinge
2013-10-01CoqIDE: do not fail hard if a message is asynchronousgareuselesinge
2013-10-01STM: Unix.kill can failgareuselesinge
2013-10-01CoqIDE: fix reset initialgareuselesinge
2013-09-30CoqIDE: use #present to raise error windowgareuselesinge
2013-09-30Backtrace.record_backtrace in CoqIDE toogareuselesinge
2013-09-30CoqIDE: wg_Tooltip removed, new tooltip handlinggareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 07:52:30 +0000