aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2009-08-14Tweak pg-identifier-near-point-query to add decoration to buffer.David Aspinall
2009-08-14Rename proof-shell-process-output -> proof-shell-classify-outputDavid Aspinall
2009-08-14Add identifier info command to toolbarDavid Aspinall
2009-08-14Add info command to toolbar, and re-enable command, interrupt, restart.David Aspinall
2009-08-14isar-output-font-lock-keywords-1: enable display of ? and ' againDavid Aspinall
2009-08-14Do not hide the spurious ASCII characters as it confuses old hands.David Aspinall
2009-08-13Set version tag for new release.David Aspinall
2009-08-13Change centric->centredDavid Aspinall
2009-08-13Document proof-strict-read-only='retract.David Aspinall
2009-08-13Add parser cache for proof-segment-up-to.David Aspinall
2009-08-13Add menu setting to set proof-strict-read-only to 'retractDavid Aspinall
2009-08-13proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.David Aspinall
2009-08-13Updated.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu ↵David Aspinall
options
2009-08-12unicode-tokens-list-tokens: change help docDavid Aspinall
2009-08-07Remove experimental features nodeDavid Aspinall
2009-08-07Set version tag for new release.David Aspinall
2009-08-07UpdateDavid Aspinall
2009-08-07Remove experimental setting. Define toggle function.David Aspinall
2009-08-07proof-full-annotation: change defaultDavid Aspinall
2009-08-07Fix parenoDavid Aspinall
2009-08-07Document document centric mechanism. Other updates and additions. Remove ↵David Aspinall
experimental features.
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
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
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
in menu
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 ↵David Aspinall
toggled on/off.
2009-07-30Define maths-menu-insert-XX functions for convenience of user-defined ↵David Aspinall
keybindings (replacing `x-symbol-INSERT-lambda', etc).
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
ISABELLE_PROCESS refers to "isabelle-process";
2009-05-30more robust treatment of options and arguments (via arrays and special @ ↵Makarius Wenzel
expansion) -- allows spaces within parameters;
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 23:47:27 +0000