aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-08-07Document document centric mechanism. Other updates and additions. Remove ex...David Aspinall
2009-08-07Extend implementation of identifier-under-mouse (now pg-identifier-query)David Aspinall
2009-08-07Add home iconDavid Aspinall
2009-08-07Re-enable toolbar commands on main menu; add home iconDavid Aspinall
2009-08-07Rename lockedend -> homeDavid Aspinall
2009-08-07proof-colour-locked: complete implementationDavid Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
2009-08-07Name changes and tweaks: proof-full-decoration -> proof-full-decoration,David Aspinall
2009-08-07Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-commandDavid Aspinall
2009-08-06Add docstrings. Regexp quote to escape control chars and regionsDavid Aspinall
2009-08-06Emulate old behaviour after allDavid Aspinall
2009-08-06Prevent setting of proof-overlay-arrow if not configuredDavid Aspinall
2009-08-06Work in progress on multiple instances of token modesDavid Aspinall
2009-08-06New configuration variable proof-use-pgip-askprefs. Use setting group names ...David Aspinall
2009-08-06Add configuration setting for Find Theorems formDavid Aspinall
2009-07-30Add overlay arrow ported from Kit.David Aspinall
2009-07-30Tune walkthrough documentationDavid Aspinall
2009-07-30Add proof-colour-locked option to leave locked region background uncoloured.David Aspinall
2009-07-30Update autoloadsDavid Aspinall
2009-07-30Sanitize some email addresses awayDavid Aspinall
2009-07-30Improve documentation. Add `unicode-tokens-list-shortcuts'.David Aspinall
2009-07-30Fix so highlighting of real unicode characters setting is obeyed when mode to...David Aspinall
2009-07-30Define maths-menu-insert-XX functions for convenience of user-defined keybind...David Aspinall
2009-07-30Improve docstringDavid Aspinall
2009-07-30Use descriptions of help items to set menu tooltips (resolve trac #218)David Aspinall
2009-07-30Remove asterisks from docstrings of pacustoms (will appear in menus now)David Aspinall
2009-07-29ISABELLE_TOOL refers to "isabelle" tool wrapper;Makarius Wenzel
2009-05-30more robust treatment of options and arguments (via arrays and special @ expa...Makarius Wenzel
2009-05-27Cleanup more Emacs compatibilityDavid Aspinall
2009-05-27Check unicode-tokens-mode is boundDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 19:47:37 +0000