aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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 interactive-p...David Aspinall
2011-10-13Update for 4.2 cycleDavid Aspinall
2011-10-13To fix pgshell mode, restore proof-shell-insert support for a single string a...David Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:31:25 +0000