aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-10-14Avoid polymorphic comparison (plugins/cc).xclerc
2013-10-14Avoid polymorphic comparison (coqdoc).xclerc
2013-10-14Remove some uses of local modules (some were unused, some were costly).xclerc
2013-10-14Getting rid of the use of deprecated elements (from the OCaml standard library).xclerc
2013-10-11CoqIDE: make error background configurablegareuselesinge
2013-10-11STM: prefix debug messages with slave-idgareuselesinge
2013-10-11More comments in ide_slavegareuselesinge
2013-10-11STM: cancel slaves working on outdated jobsgareuselesinge
2013-10-11Vcs: the gc method returns the set of nodes that were collectedgareuselesinge
2013-10-11Dag: some comments on the concept of clustergareuselesinge
2013-10-11CoqIDE: single underline for errorsgareuselesinge
2013-10-10CoqIDE: error reporting fixedgareuselesinge
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10CoqIDE: ported to Documentgareuselesinge
2013-10-10fake_ide: ported to Document + 2 tests for editing a proof (locally)gareuselesinge
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 12:42:04 +0000