aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* *** empty log message ***Gravatar David Aspinall2009-05-26
* isar-strip-output-markup: simple output markup strippingGravatar David Aspinall2009-05-26
* Set strip-output-function for pasting. Adjust font-lock handling toGravatar David Aspinall2009-05-26
* Test case for #266Gravatar David Aspinall2009-05-26
* unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...Gravatar David Aspinall2009-05-26
* UpdatedGravatar David Aspinall2009-05-26
* Add proof-electric-terminator-noterminator behaviour for IsarGravatar David Aspinall2009-05-26
* Updates for Isabelle2009, new electric terminator behaviour.Gravatar David Aspinall2009-05-26
* Revise example for Isabelle 2009, showing use of two commands on a line.Gravatar David Aspinall2009-05-26
* Hide goals marker start again (Isabelle2009 doesn't markup subgoals)Gravatar David Aspinall2009-05-26
* Revive sendback behaviour (using button1)Gravatar David Aspinall2009-05-26
* Rename isatool -> isabelleGravatar David Aspinall2009-05-26
* Add highlighting for sendbackGravatar David Aspinall2009-05-26
* Set default value for `buffer-invisibility-spec'Gravatar David Aspinall2009-05-25
* Updated.Gravatar David Aspinall2009-04-16
* Set version tag for new release.Gravatar David Aspinall2009-04-16
* fixed a bug with region-exists-p not defined in some emacsen.Gravatar Pierre Courtieu2009-04-16
* isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Gravatar Makarius Wenzel2009-03-31
* eliminated obsolete non-ASCII specials;Gravatar Makarius Wenzel2009-03-31
* recovered proof-shell-process-urgent-message, by re-introducing commented-out...Gravatar Makarius Wenzel2009-03-31
* fixed spelling;Gravatar Makarius Wenzel2009-03-31
* fixed a bad interaction with Coq -R optionGravatar Assia Mahboubi2009-03-17
* Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...Gravatar David Aspinall2009-03-10
* Made indentation optional when replaing # by holes.Gravatar Pierre Courtieu2009-01-14
* Deleted fileGravatar David Aspinall2008-12-05
* Deleted fileGravatar David Aspinall2008-12-05
* merge develdownload.html with devel.htmlGravatar David Aspinall2008-12-05
* Updated.Gravatar David Aspinall2008-12-05
* TweakGravatar David Aspinall2008-12-05
* Set version tag for new release.Gravatar David Aspinall2008-12-05
* Linear undo commandGravatar David Aspinall2008-12-05
* Some minimal updates for 4.0preGravatar David Aspinall2008-12-05
* Fix extra @end defvarGravatar David Aspinall2008-12-05
* Hyphen instead of emdash in faked longleftarrowGravatar David Aspinall2008-12-05
* Fixing parenthesis not accepted by recent emacs anymore. fix by StefanGravatar Pierre Courtieu2008-10-22
* Fixing region access for emacs <= 22.Gravatar Pierre Courtieu2008-10-02
* Set version tag for new release.Gravatar David Aspinall2008-09-19
* Updated.Gravatar David Aspinall2008-09-19
* unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.Gravatar David Aspinall2008-09-18
* Fix by Stephan HoheGravatar David Aspinall2008-09-18
* DocumentationGravatar David Aspinall2008-08-06
* CommentGravatar David Aspinall2008-08-06
* unicode-tokens-initialise: initialise menu here too rather than at top levelGravatar David Aspinall2008-08-05
* Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...Gravatar David Aspinall2008-08-04
* Fix tokensGravatar David Aspinall2008-08-03
* Fix type in calls to toggle functionsGravatar David Aspinall2008-08-03
* Disable subterm markup removalGravatar David Aspinall2008-08-03
* pg-response-display: disable subterm markup removalGravatar David Aspinall2008-08-03
* Add links to splash menuGravatar David Aspinall2008-08-03
* Make proof-locked-face much lighterGravatar David Aspinall2008-08-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 09:23:02 +0000