aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-05-26Bump Emacs versionDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Add functions for encoding string and buffer regionsDavid Aspinall
2009-05-26Revert "logic" fix.David Aspinall
2009-05-26More isatool->isabelle renamings and an (old) logic fixDavid Aspinall
2009-05-26Correct Unicode supportDavid Aspinall
2009-05-26Update version, latest only.David Aspinall
2009-05-26Set version tag for new release.David Aspinall
2009-05-26Fix headerDavid Aspinall
2009-05-26UpdatedDavid Aspinall
2009-05-26Remove process-live-p, move complete autoload to use pointDavid Aspinall
2009-05-26proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyDavid Aspinall
2009-05-26Remove yank-handler experiment, in favour of buffer-substring-filtersDavid Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2009-05-26*** empty log message ***David Aspinall
2009-05-26isar-strip-output-markup: simple output markup strippingDavid Aspinall
2009-05-26Set strip-output-function for pasting. Adjust font-lock handling toDavid Aspinall
2009-05-26Test case for #266David Aspinall
2009-05-26unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...David Aspinall
2009-05-26UpdatedDavid Aspinall
2009-05-26Add proof-electric-terminator-noterminator behaviour for IsarDavid Aspinall
2009-05-26Updates for Isabelle2009, new electric terminator behaviour.David Aspinall
2009-05-26Revise example for Isabelle 2009, showing use of two commands on a line.David Aspinall
2009-05-26Hide goals marker start again (Isabelle2009 doesn't markup subgoals)David Aspinall
2009-05-26Revive sendback behaviour (using button1)David Aspinall
2009-05-26Rename isatool -> isabelleDavid Aspinall
2009-05-26Add highlighting for sendbackDavid Aspinall
2009-05-25Set default value for `buffer-invisibility-spec'David Aspinall
2009-04-16Updated.David Aspinall
2009-04-16Set version tag for new release.David Aspinall
2009-04-16fixed a bug with region-exists-p not defined in some emacsen.Pierre Courtieu
2009-03-31isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Makarius Wenzel
2009-03-31eliminated obsolete non-ASCII specials;Makarius Wenzel
2009-03-31recovered proof-shell-process-urgent-message, by re-introducing commented-out...Makarius Wenzel
2009-03-31fixed spelling;Makarius Wenzel
2009-03-17fixed a bad interaction with Coq -R optionAssia Mahboubi
2009-03-10Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...David Aspinall
2009-01-14Made indentation optional when replaing # by holes.Pierre Courtieu
2008-12-05Deleted fileDavid Aspinall
2008-12-05Deleted fileDavid Aspinall
2008-12-05merge develdownload.html with devel.htmlDavid Aspinall
2008-12-05Updated.David Aspinall
2008-12-05TweakDavid Aspinall
2008-12-05Set version tag for new release.David Aspinall
2008-12-05Linear undo commandDavid Aspinall
2008-12-05Some minimal updates for 4.0preDavid Aspinall
2008-12-05Fix extra @end defvarDavid Aspinall
2008-12-05Hyphen instead of emdash in faked longleftarrowDavid Aspinall
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
2008-10-02Fixing region access for emacs <= 22.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:07:35 +0000