aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Add overlay arrow ported from Kit.Gravatar David Aspinall2009-07-30
* Tune walkthrough documentationGravatar David Aspinall2009-07-30
* Add proof-colour-locked option to leave locked region background uncoloured.Gravatar David Aspinall2009-07-30
* Update autoloadsGravatar David Aspinall2009-07-30
* Sanitize some email addresses awayGravatar David Aspinall2009-07-30
* Improve documentation. Add `unicode-tokens-list-shortcuts'.Gravatar David Aspinall2009-07-30
* Fix so highlighting of real unicode characters setting is obeyed when mode to...Gravatar David Aspinall2009-07-30
* Define maths-menu-insert-XX functions for convenience of user-defined keybind...Gravatar David Aspinall2009-07-30
* Improve docstringGravatar David Aspinall2009-07-30
* Use descriptions of help items to set menu tooltips (resolve trac #218)Gravatar David Aspinall2009-07-30
* Remove asterisks from docstrings of pacustoms (will appear in menus now)Gravatar David Aspinall2009-07-30
* ISABELLE_TOOL refers to "isabelle" tool wrapper;Gravatar Makarius Wenzel2009-07-29
* more robust treatment of options and arguments (via arrays and special @ expa...Gravatar Makarius Wenzel2009-05-30
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* Check unicode-tokens-mode is boundGravatar David Aspinall2009-05-27
* Bump Emacs versionGravatar David Aspinall2009-05-26
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add functions for encoding string and buffer regionsGravatar David Aspinall2009-05-26
* Revert "logic" fix.Gravatar David Aspinall2009-05-26
* More isatool->isabelle renamings and an (old) logic fixGravatar David Aspinall2009-05-26
* Correct Unicode supportGravatar David Aspinall2009-05-26
* Update version, latest only.Gravatar David Aspinall2009-05-26
* Set version tag for new release.Gravatar David Aspinall2009-05-26
* Fix headerGravatar David Aspinall2009-05-26
* UpdatedGravatar David Aspinall2009-05-26
* Remove process-live-p, move complete autoload to use pointGravatar David Aspinall2009-05-26
* proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyGravatar David Aspinall2009-05-26
* Remove yank-handler experiment, in favour of buffer-substring-filtersGravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* *** 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 19:26:00 +0000