aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2011-10-13Update base revision number for 4.2 development cycleDavid Aspinall
2011-10-03Set version tag for new release.David Aspinall
2011-10-03Update dates and versionsDavid Aspinall
2011-10-03Remove some non-existent ignored filesDavid Aspinall
2011-10-03Move a comment to docstringDavid Aspinall
2011-09-28updated tests to Isabelle2011-1;Makarius Wenzel
2011-09-27fix #426Hendrik Tews
2011-09-23fix coqdep warning treated as error (library occurring atHendrik Tews
2011-09-19fix doc for coq -R patchHendrik Tews
2011-09-19Clean up a little bit, adding extra syntax to make buffer process fully.David Aspinall
2011-09-19Set version tag for new release.David Aspinall
2011-09-19Several improvements:David Aspinall
2011-09-18proof-full-annotation: default to nilDavid Aspinall
2011-09-17brute-force method to enable tool-bar-mode, which is especially important on ...Makarius Wenzel
2011-09-16Set version tag for new release.David Aspinall
2011-09-16Tweak to Emacs package buildingDavid Aspinall
2011-09-15fix widget descriptions of coq-load-pathHendrik Tews
2011-09-15-add support for -R and -I -as in coq-load-pathHendrik Tews
2011-09-14fix #421 with solution 1Hendrik Tews
2011-09-14proof-electric-terminator: allow a prefix argument to avoid electric action.David Aspinall
2011-09-14# User Robin Green <greenrd@greenrd.org>David Aspinall
2011-09-14Fix typoDavid Aspinall
2011-09-14Remove contentious call to set-process-query-on-exit-flag, ref Trac#424David Aspinall
2011-09-14Add another contributor.David Aspinall
2011-09-11Fix proof-shell-exit optional argument with (interactive) thanks toPierre Courtieu
2011-09-09fix documentation errorHendrik Tews
2011-09-04Fix trac #420 indentation freezing.Pierre Courtieu
2011-09-04some local buffer properties;Makarius Wenzel
2011-08-31Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.David Aspinall
2011-08-31clarified isar-improper-regexp -- "prems" is already reported as legacy by th...Makarius Wenzel
2011-08-29Non Unicode charDavid Aspinall
2011-08-24Capitalize menu itemsDavid Aspinall
2011-08-24Set version tag for new release.David Aspinall
2011-08-24eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-nameDavid Aspinall
2011-08-23Remove PG prefix from toolbar button names (needed for disambiguity in older ...David Aspinall
2011-08-23Add back annotation for docstring for texinfoDavid Aspinall
2011-08-23Update magicDavid Aspinall
2011-08-23Set version tag for new release.David Aspinall
2011-08-23Note TODO for indent testing!David Aspinall
2011-08-23Move coq-prog-name back to coq.elDavid Aspinall
2011-08-23Crude patch for Trac #416. I haven't tried to understand indent code fully, ...David Aspinall
2011-07-29Fixing track 414 by adding Preterm as a state preserving command.Pierre Courtieu
2011-07-26Updated.David Aspinall
2011-07-26Fix compile when smie isnt availableDavid Aspinall
2011-07-08Fixing the scripting of new subproof script parenthesizing ({ and }).Pierre Courtieu
2011-07-06generalized font-lock regexps: isar-text allows any non-control characters to...Makarius Wenzel
2011-07-05+ fix documentation and one spelling errorHendrik Tews
2011-07-01Some more sample indentation patterns added.Pierre Courtieu
2011-06-22coq-use-smie not enabled by defaultDavid Aspinall
2011-06-22Remove pointer to closed ticketDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 17:25:26 +0000