aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-07-08Set version tag for new release.David Aspinall
2010-07-08Cleanups for save-excursion to avoid warnings in latest Emacs versionsDavid Aspinall
2010-07-08save-excursion -> with-temp-bufferDavid Aspinall
2010-07-01Replace uses of save-excursion with with-current-buffer. ThisDavid Aspinall
prevents a spurious warning from Emacs 23 (and is a minor efficiency improvement).
2010-07-01plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidDavid Aspinall
spurious warning in Emacs 23.2
2010-07-01lego-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidDavid Aspinall
spurious warning in Emacs 23.2
2010-07-01isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidDavid Aspinall
spurious warning in Emacs 23.2
2010-07-01proof-last-locked-span: save-excursion -> with-current-buffer to avoidDavid Aspinall
spurious warning in Emacs 23.2
2010-06-29removed some old commands;Makarius Wenzel
2010-06-29update from Isabelle2009-2;Makarius Wenzel
2010-06-28Remove debug messageDavid Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2010-06-27Updated.David Aspinall
2010-06-27Experimental backwards delete char. See Trac #290David Aspinall
2010-06-27`proof-shell-process-urgent-messages': fix to avoid duplicated messages ↵David Aspinall
(Trac#314) `proof-shell-exit': fix pareno, avoid duplicated user question in Emacs 23. Consistent capitalisation of errors.
2010-05-17Fixing the behaviour of the responses-freeze window.Pierre Courtieu
2010-05-17Allow SearchAbout to deal with complex queries.Pierre Courtieu
2010-05-17Added a "remember this" window. Experimental.Pierre Courtieu
2010-04-12Fix coq error utf8 underlining with coq-8.3beta.Pierre Courtieu
2010-04-12Test updateDavid Aspinall
2010-03-10*** empty log message ***David Aspinall
2010-03-10*** empty log message ***David Aspinall
2010-03-10*** empty log message ***David Aspinall
2010-03-10Update dateDavid Aspinall
2009-12-07more robust treatment of spaces in directory names;Makarius Wenzel
2009-12-04New filesDavid Aspinall
2009-12-04Set version tag for new release.David Aspinall
2009-12-04docstringDavid Aspinall
2009-12-04UpdatedDavid Aspinall
2009-12-03Revert spurious commitsDavid Aspinall
2009-12-03Change of type for proof-script-span-context-menu-extensionsDavid Aspinall
2009-12-03Rework script span element hiding to avoid buffer-invisibility-spec. Add ↵David Aspinall
command elements.
2009-12-02Fix to last patch for face saving (untested still).David Aspinall
2009-12-02Fix compile error (isar-prog-args unknown).David Aspinall
2009-12-02Better approximation of restoring old highlighting, by caching saved face.David Aspinall
2009-12-02Fix menu path to Sticky Errors option.David Aspinall
2009-12-02Add proof-sticky-errors to quick options menu.David Aspinall
2009-12-01tidyDavid Aspinall
2009-12-01Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311David Aspinall
2009-12-01Add rest of standard token symbols for alphabets in other fontsDavid Aspinall
(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
2009-12-01Update token list adding fraktur characters.David Aspinall
2009-12-01Set version tag for new release.David Aspinall
2009-12-01Update magicDavid Aspinall
2009-12-01Profile 'pg' needed now tooDavid Aspinall
2009-12-01Point to Trac #313David Aspinall
2009-12-01CommentsDavid Aspinall
2009-12-01Quote arguments to EMACS/PGHOME.David Aspinall
2009-12-01spacesDavid Aspinall
2009-12-01UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 20:18:15 +0000