aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-05
* IncompleteGravatar David Aspinall2001-09-05
* Add keybindings for new commands for moving/navigating spans.Gravatar David Aspinall2001-09-05
* Fix problem with C-x C-v by copying buffer-file-name. Add children property t...Gravatar David Aspinall2001-09-05
* Improved span moving and navigation commands.Gravatar David Aspinall2001-09-05
* Set version tag for new release.Gravatar David Aspinall2001-09-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 22:30:05 +0000