aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
added special "L", special "V";
2009-03-31eliminated obsolete non-ASCII specials;Makarius Wenzel
2009-03-31recovered proof-shell-process-urgent-message, by re-introducing ↵Makarius Wenzel
commented-out parenthesis and refreshing formerly unreachable cases;
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 ↵David Aspinall
http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
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
Monnier.
2008-10-02Fixing region access for emacs <= 22.Pierre Courtieu
2008-09-19Set version tag for new release.David Aspinall
2008-09-19Updated.David Aspinall
2008-09-18unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.David Aspinall
2008-09-18Fix by Stephan HoheDavid Aspinall
http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
2008-08-06DocumentationDavid Aspinall
2008-08-06CommentDavid Aspinall
2008-08-05unicode-tokens-initialise: initialise menu here too rather than at top levelDavid Aspinall
2008-08-04Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars ↵David Aspinall
option.
2008-08-03Fix tokensDavid Aspinall
2008-08-03Fix type in calls to toggle functionsDavid Aspinall
2008-08-03Disable subterm markup removalDavid Aspinall
2008-08-03pg-response-display: disable subterm markup removalDavid Aspinall
2008-08-03Add links to splash menuDavid Aspinall
2008-08-03Make proof-locked-face much lighterDavid Aspinall
2008-08-03Updated.David Aspinall
2008-08-03Change for locked face colourDavid Aspinall
2008-08-03Remove XEmacs package, now single RPM.David Aspinall
2008-08-03Updates for 4.0David Aspinall
2008-07-24Fixed the bug with coq-guess-command-line.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 19:52:20 +0000