aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Start refactoring to support more sophisticated queue handling, by adding fla...Gravatar David Aspinall2009-08-14
* pg-last-output-displayform: add convenience functionGravatar David Aspinall2009-08-14
* Add key binding for proof-query-identifierGravatar David Aspinall2009-08-14
* pg-current-word-pos: add for convenience in identifier query functionGravatar David Aspinall2009-08-14
* Set proof-query-identifier-command in right place.Gravatar David Aspinall2009-08-14
* Tweak pg-identifier-near-point-query to add decoration to buffer.Gravatar David Aspinall2009-08-14
* Rename proof-shell-process-output -> proof-shell-classify-outputGravatar David Aspinall2009-08-14
* Add identifier info command to toolbarGravatar David Aspinall2009-08-14
* Add info command to toolbar, and re-enable command, interrupt, restart.Gravatar David Aspinall2009-08-14
* isar-output-font-lock-keywords-1: enable display of ? and ' againGravatar David Aspinall2009-08-14
* Do not hide the spurious ASCII characters as it confuses old hands.Gravatar David Aspinall2009-08-14
* Set version tag for new release.Gravatar David Aspinall2009-08-13
* Change centric->centredGravatar David Aspinall2009-08-13
* Document proof-strict-read-only='retract.Gravatar David Aspinall2009-08-13
* Add parser cache for proof-segment-up-to.Gravatar David Aspinall2009-08-13
* Add menu setting to set proof-strict-read-only to 'retractGravatar David Aspinall2009-08-13
* proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.Gravatar David Aspinall2009-08-13
* Updated.Gravatar David Aspinall2009-08-13
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* unicode-tokens-list-tokens: change help docGravatar David Aspinall2009-08-12
* 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 ex...Gravatar David Aspinall2009-08-07
* 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
* 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
* 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 to...Gravatar David Aspinall2009-07-30
* Define maths-menu-insert-XX functions for convenience of user-defined keybind...Gravatar David Aspinall2009-07-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 12:59:02 +0000