aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
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 ↵David Aspinall
cleanups
2009-05-26*** empty log message ***David Aspinall
2009-05-26isar-strip-output-markup: simple output markup strippingDavid Aspinall
Experiment with font-lock to set yank-handler.
2009-05-26Set strip-output-function for pasting. Adjust font-lock handling toDavid Aspinall
cope with very long multiline matches.
2009-05-26Test case for #266David Aspinall
2009-05-26unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: ↵David Aspinall
font prop must be given first
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 14:49:35 +0000