aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-10-22Optimizing evar filters. It seems to cost quite a lot in unification,ppedrot
2013-10-22Various optimizations in Constr, such as term sharing and allocationppedrot
2013-10-22More efficient operations in CArray.ppedrot
2013-10-22STM: proper error message if the GUI edits_at a dummy stategareuselesinge
2013-10-22STM: do not enrich exceptions more than oncegareuselesinge
2013-10-22CoqIDE: always retag on insertgareuselesinge
2013-10-22CoqIDE: do not try to backtrack to a dummy idgareuselesinge
2013-10-22emacs config: next-error search path ok even if default-directory unset.courtieu
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-22wg_Detachable: move out of wg_Commandgareuselesinge
2013-10-22Wg_Commands: fix warning "widget not within a GtkWindow"gareuselesinge
2013-10-22Wg_Commands: when detached display the buffer namegareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-22STM: send the gui the status of the slavesgareuselesinge
2013-10-22New feedback message: SlaveStatusgareuselesinge
2013-10-22wg_Commands: smaller icons in tabsgareuselesinge
2013-10-22ideutils: support custom size for stock iconsgareuselesinge
2013-10-18proof modes: use ephemerons to represent them in proof stategareuselesinge
2013-10-18Coqtop: fix looping over a broken state.gareuselesinge
2013-10-18declaration_hooks use Ephemerongareuselesinge
2013-10-18Future: ported to Ephemeron + exception enhancinggareuselesinge
2013-10-18Ephemeron: marshaling friendly keysgareuselesinge
2013-10-18Summary: if an unfreeze function fails, print an error messagegareuselesinge
2013-10-18STM: not optimize proofs containing an Undogareuselesinge
2013-10-16Reintroduce "or" instead of "||" as the latter is redifined in "sos_lib.ml" w...xclerc
2013-10-14Some more hand-written comparison functions to avoid polymorphic comparison.xclerc
2013-10-14Avoid polymorphic comparison (plugins/rtauto).xclerc
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 10:23:31 +0000