aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-11-03* coq.el (coq-smie-forward-token): Simplify by delegating to backward-token.Stefan Monnier
(coq-smie-backward-token): Use memq and member.
2011-11-03Fixed the indentation of different kinds of use of the with keyword.Pierre Courtieu
2011-11-02Added bullet indentation in smie code. smie code still needs somePierre Courtieu
fixing to be be switched on.
2011-10-17Add fix and regression test for Trac #138David Aspinall
2011-10-17Set version tag for new release.David Aspinall
2011-10-17Attempt to support stricter bytecomp flagsDavid Aspinall
2011-10-17Attempt to support stricter bytecomp warningsDavid Aspinall
2011-10-17Remove dependency of pg-movie on pg-userDavid Aspinall
2011-10-17Outline required compile and runDavid Aspinall
2011-10-17Require cl only during compileDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 23:55:03 +0000