aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2006-09-24Set version tag for new release.David Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Deleted fileDavid Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-22Cut comint input ring, minor efficiency tweak.David Aspinall
2006-09-22Comments.David Aspinall
2006-09-22Set version tag for new release.David Aspinall
2006-09-22Updated.David Aspinall
2006-09-12Set version tag for new release.David Aspinall
2006-09-09Set version tag for new release.David Aspinall
2006-09-07Set version tag for new release.David Aspinall
2006-09-06Making error highlighting more robust (for both emacsen) and use aPierre Courtieu
span instead of region.
2006-09-05Error highliting in coq now worksPierre Courtieu
2006-08-28Set version tag for new release.David Aspinall
2006-08-23Coq indentation small fixes.Pierre Courtieu
2006-08-23Comments and docstring fixes in lib and generic.Pierre Courtieu
2006-08-16Fixed messages of prover process starting and errors in order to havePierre Courtieu
prog-args shown. It was confusing for users not to see what arguments was given to the prover.
2006-05-26Set version tag for new release.David Aspinall
2006-05-26Add back 'raw-text setting, now LANG settings aren't taking effect again ↵David Aspinall
[me: XEmacs 21.4.19 on FC5]
2006-05-26Updated.David Aspinall
2006-05-26Add C-g watcher for trace bufferDavid Aspinall
2006-05-23Fix to remove mention of coding-system-for-write, coding-system-for-read not ↵David Aspinall
available on non-Mule compiles
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
2006-02-24back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵Christophe Raffalli
imporvment in proof by contextual menu
2006-02-14Set version tag for new release.David Aspinall
2006-02-14Revert use of 'raw-text for coding-system-for-read/write since it changes ↵David Aspinall
behaviour in at least one Emacs version, causing PG to hang.
2006-02-14Add back lost editsDavid Aspinall
2006-02-14Add <PA>-prog-args and <PA>-prog-envDavid Aspinall
2006-01-09PG 3.6: remove Info item from toolbar; it's not very useful and under ↵David Aspinall
PA->Help anyway
2006-01-08Fix for coloured face specs on AquaemacsDavid Aspinall
2005-11-14actually revert to revision 8.15;Makarius Wenzel
2005-11-09backtracking my change on functionPierre Courtieu
proof-shell-invisible-cmd-get-result, we will fix this better with David soon (use of the noerror arg).
2005-11-07added match...with automatic building from atype name.Pierre Courtieu
Had to correct a bug in proof-shell.
2005-10-20bug fixChristophe Raffalli
2005-10-04Set version tag for new release.David Aspinall
2005-09-30Set version tag for new release.David Aspinall
2005-09-30Fix multiple Isabelle submenus on mode popup.David Aspinall
2005-09-30Dont overwrite distribution version of xml.el, only use fixed version for ↵David Aspinall
XEmacs.
2005-09-30Issue proof-assistant-settings-cmd standardly after init cmd.David Aspinall
2005-09-30Rename PGIP packet attribute origin -> tagDavid Aspinall
2005-09-28Make robust against missing advice packageDavid Aspinall
2005-09-27Shorter aux buffer namesDavid Aspinall
2005-09-22Set version tag for new release.David Aspinall
2005-09-21Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"David Aspinall
2005-09-21Set version tag for new release.David Aspinall
2005-09-19I do not remember \!Christophe Raffalli
2005-09-15Set version tag for new release.David Aspinall
2005-09-14refer to proof-shell-unicode for process-environment and coding-system;Makarius Wenzel
2005-09-14added proof-shell-unicode;Makarius Wenzel
2005-09-01moved pg-special-char-regexp to proof-config.el;Makarius Wenzel
added pg-remove-specials-in-string;
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 21:45:06 +0000