aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
...
* Issue parsing messagesGravatar David Aspinall2001-09-04
* Add commands to move spans up/down. Enable features only if experimental fla...Gravatar David Aspinall2001-09-04
* Nested proof spans are duplicableGravatar David Aspinall2001-09-04
* Add experimental features settingGravatar David Aspinall2001-09-04
* Change colour of locked region.Gravatar David Aspinall2001-09-03
* Fix bracket bug.Gravatar David Aspinall2001-09-03
* Show/hide all proofs: add redisplay for FSFGravatar David Aspinall2001-09-03
* Use pg-set-span-helphightlights for unhighlighting.Gravatar David Aspinall2001-09-03
* Generalise context menu for other spans; grey out show/hide when unavailable.Gravatar David Aspinall2001-09-03
* Set version tag for new release.Gravatar David Aspinall2001-09-03
* FormattingGravatar David Aspinall2001-09-03
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* Added handling of tracing buffers using proof-shell-spill-output-regexp.Gravatar David Aspinall2001-09-03
* Added proof-shell-spill-output-regexpGravatar David Aspinall2001-09-03
* Set version tag for new release.Gravatar David Aspinall2001-09-02
* (Almost) complete rewriteGravatar David Aspinall2001-08-31
* UpdatedGravatar David Aspinall2001-08-31
* Move theorem dependency code into proof-depends.el.Gravatar David Aspinall2001-08-31
* Added copy command, call to dependency menu if proof-depends is loaded.Gravatar David Aspinall2001-08-31
* Add new proof-mouse-highlight-face to use instead of default. Fix dependency...Gravatar David Aspinall2001-08-31
* Add faces for theorem dependencies.Gravatar David Aspinall2001-08-31
* Clean up of proof-dependsGravatar David Aspinall2001-08-31
* Skip settings which have no PA command in proof-assistant-settings-cmdGravatar David Aspinall2001-08-31
* Add proof-shell-kill-function-hooksGravatar David Aspinall2001-08-31
* pg-add-proof-element: removed accidential (?) dynamic scoping onGravatar Makarius Wenzel2001-08-30
* added proof-script-integral-proofs ("Whether the complete text after aGravatar Makarius Wenzel2001-08-30
* Set version tag for new release.Gravatar David Aspinall2001-08-30
* Add reassurance to interrupt warning to make Markus happier.Gravatar David Aspinall2001-08-30
* Updates for recent version of X-symbol, which has no file called x-symbol-aut...Gravatar David Aspinall2001-08-30
* Add :eval form for defpacustom to define PA-specific PG settings as well as P...Gravatar David Aspinall2001-08-30
* Add variable proof-previous-script-bufferGravatar David Aspinall2001-08-30
* fixes for FSF Emacs for searching for goal span (don't call goal-command-p on...Gravatar David Aspinall2001-08-30
* Added implementation of remassq for FSF EmacsGravatar David Aspinall2001-08-30
* pg-insert-last-output-as-comment strips special annotations from last output ...Gravatar David Aspinall2001-08-30
* Set version tag for new release.Gravatar David Aspinall2001-08-28
* Change of proof span type back to goalsave fixGravatar David Aspinall2001-08-28
* Remove dependent setting of timeout, since bin calls different fn now.Gravatar David Aspinall2001-08-28
* TrivialGravatar David Aspinall2001-08-28
* Remove mention of toolbar variable. Make timeouts vary according to how star...Gravatar David Aspinall2001-08-28
* Timeout happens as intended now, while loading some parts of PG.Gravatar David Aspinall2001-08-28
* Set version tag for new release.Gravatar David Aspinall2001-08-17
* Trim visibility implementation:Gravatar David Aspinall2001-08-17
* Add span-delete-action hookGravatar David Aspinall2001-08-17
* Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...Gravatar David Aspinall2001-08-17
* Set version tag for new release.Gravatar David Aspinall2001-08-16
* Switch back to using goalsave spans in PBP codeGravatar David Aspinall2001-08-16
* Add hide/show commands instead of make proofs visibleGravatar David Aspinall2001-08-16
* Generate intermediate proof span for contents of proof; other becomes 'goalsa...Gravatar David Aspinall2001-08-16
* Function name fixes, use idiom property in span for popup menu name.Gravatar David Aspinall2001-08-16
* Use proof-looking-at-syntactic-context function from proof-syntax, as suggest...Gravatar David Aspinall2001-08-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 22:09:00 +0000