aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Found another instance of buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Set version tag for new release.Gravatar David Aspinall2001-08-10
* Workaround for buffer-syntactic-context bug in XEmacs 21.1Gravatar David Aspinall2001-08-10
* Change buffer-syntactic-context -> proof-buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Set version tag for new release.Gravatar David Aspinall2001-08-03
* Set version tag for new release.Gravatar David Aspinall2001-08-01
* Regenerate to remove Christophes patchGravatar David Aspinall2001-08-01
* Moved compat hack to proof-siteGravatar David Aspinall2001-08-01
* Revert to removing and re-adding specifiers for toolbar,Gravatar David Aspinall2001-08-01
* Add a dummy version of package-provide for FSFEmacs.Gravatar David Aspinall2001-08-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 22:13:52 +0000