aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-10-14Bump doc version numbers to 4.2pre.David Aspinall
2011-10-13Set version tag for new release.David Aspinall
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵David Aspinall
interactive-p with called-interactively-p)
2011-10-13Update for 4.2 cycleDavid Aspinall
2011-10-13To fix pgshell mode, restore proof-shell-insert support for a single string ↵David Aspinall
argument and allow nil setting for proof-shell-start-goals-regexp.
2011-10-13Updated.David Aspinall
2011-10-13Note on how to update base revision number (since I got it wrong on first try)David Aspinall
2011-10-13Update base revision number for 4.2 development cycleDavid Aspinall
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
multiple places in load-path)
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
- explain how to use prefix commands for electric terminator as well as C-q - update explanation of locked region and read only options - explain colouring of modeline Scripting indicator - improve document-centred explanation, giving short-cut commands first - correct several uses of main menu "Proof General" to "Proof-General" with hyphen
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
GNU Emacs for Mac OS X (change was already present in Isabelle2011);
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
-improve documentation (and reorder stuff)
2011-09-14fix #421 with solution 1Hendrik Tews
2011-09-14proof-electric-terminator: allow a prefix argument to avoid electric action.David Aspinall
Addresses Trac #422
2011-09-14# User Robin Green <greenrd@greenrd.org>David Aspinall
Use correct customisation widget for variable-length list of strings
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
Erik Martin-Dorel.
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 ↵Makarius Wenzel
the prover (after Isabelle2011);
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
overriding setting in coq.el
2011-08-23Remove PG prefix from toolbar button names (needed for disambiguity in older ↵David Aspinall
Emacsen, displayed in Emacs 24 UI)
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
so may not be best fix.
2011-07-29Fixing track 414 by adding Preterm as a state preserving command.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 04:57:09 +0000