aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* Remove experimental features nodeGravatar David Aspinall2009-08-07
|
* Set version tag for new release.Gravatar David Aspinall2009-08-07
|
* UpdateGravatar David Aspinall2009-08-07
|
* Remove experimental setting. Define toggle function.Gravatar David Aspinall2009-08-07
|
* proof-full-annotation: change defaultGravatar David Aspinall2009-08-07
|
* Fix parenoGravatar David Aspinall2009-08-07
|
* Document document centric mechanism. Other updates and additions. Remove ↵Gravatar David Aspinall2009-08-07
| | | | experimental features.
* Extend implementation of identifier-under-mouse (now pg-identifier-query)Gravatar David Aspinall2009-08-07
|
* Add home iconGravatar David Aspinall2009-08-07
|
* Re-enable toolbar commands on main menu; add home iconGravatar David Aspinall2009-08-07
|
* Rename lockedend -> homeGravatar David Aspinall2009-08-07
|
* proof-colour-locked: complete implementationGravatar David Aspinall2009-08-07
|
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
|
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
|
* Name changes and tweaks: proof-full-decoration -> proof-full-decoration,Gravatar David Aspinall2009-08-07
| | | | proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
* Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-commandGravatar David Aspinall2009-08-07
|
* Add docstrings. Regexp quote to escape control chars and regionsGravatar David Aspinall2009-08-06
|
* Emulate old behaviour after allGravatar David Aspinall2009-08-06
|
* Prevent setting of proof-overlay-arrow if not configuredGravatar David Aspinall2009-08-06
|
* Work in progress on multiple instances of token modesGravatar David Aspinall2009-08-06
|
* New configuration variable proof-use-pgip-askprefs. Use setting group names ↵Gravatar David Aspinall2009-08-06
| | | | in menu
* Add configuration setting for Find Theorems formGravatar David Aspinall2009-08-06
|
* 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 ↵Gravatar David Aspinall2009-07-30
| | | | toggled on/off.
* Define maths-menu-insert-XX functions for convenience of user-defined ↵Gravatar David Aspinall2009-07-30
| | | | | | keybindings (replacing `x-symbol-INSERT-lambda', etc).
* 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
| | | | ISABELLE_PROCESS refers to "isabelle-process";
* more robust treatment of options and arguments (via arrays and special @ ↵Gravatar Makarius Wenzel2009-05-30
| | | | expansion) -- allows spaces within parameters;
* 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
| | | | proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
* Remove yank-handler experiment, in favour of buffer-substring-filtersGravatar David Aspinall2009-05-26
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-24 11:23:03 +0000