aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2001-08-31UpdatedDavid Aspinall
2001-08-31Move theorem dependency code into proof-depends.el.David Aspinall
2001-08-31Added copy command, call to dependency menu if proof-depends is loaded.David Aspinall
2001-08-31Add new proof-mouse-highlight-face to use instead of default. Fix dependency...David Aspinall
2001-08-31Add faces for theorem dependencies.David Aspinall
2001-08-31Clean up of proof-dependsDavid Aspinall
2001-08-31Skip settings which have no PA command in proof-assistant-settings-cmdDavid Aspinall
2001-08-31Add proof-shell-kill-function-hooksDavid Aspinall
2001-08-30pg-add-proof-element: removed accidential (?) dynamic scoping onMakarius Wenzel
2001-08-30added proof-script-integral-proofs ("Whether the complete text after aMakarius Wenzel
2001-08-30Set version tag for new release.David Aspinall
2001-08-30Add reassurance to interrupt warning to make Markus happier.David Aspinall
2001-08-30Updates for recent version of X-symbol, which has no file called x-symbol-aut...David Aspinall
2001-08-30Add :eval form for defpacustom to define PA-specific PG settings as well as P...David Aspinall
2001-08-30Add variable proof-previous-script-bufferDavid Aspinall
2001-08-30fixes for FSF Emacs for searching for goal span (don't call goal-command-p on...David Aspinall
2001-08-30Added implementation of remassq for FSF EmacsDavid Aspinall
2001-08-30pg-insert-last-output-as-comment strips special annotations from last output ...David Aspinall
2001-08-28Set version tag for new release.David Aspinall
2001-08-28Change of proof span type back to goalsave fixDavid Aspinall
2001-08-28Remove dependent setting of timeout, since bin calls different fn now.David Aspinall
2001-08-28TrivialDavid Aspinall
2001-08-28Remove mention of toolbar variable. Make timeouts vary according to how star...David Aspinall
2001-08-28Timeout happens as intended now, while loading some parts of PG.David Aspinall
2001-08-17Set version tag for new release.David Aspinall
2001-08-17Trim visibility implementation:David Aspinall
2001-08-17Add span-delete-action hookDavid Aspinall
2001-08-17Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...David Aspinall
2001-08-16Set version tag for new release.David Aspinall
2001-08-16Switch back to using goalsave spans in PBP codeDavid Aspinall
2001-08-16Add hide/show commands instead of make proofs visibleDavid Aspinall
2001-08-16Generate intermediate proof span for contents of proof; other becomes 'goalsa...David Aspinall
2001-08-16Function name fixes, use idiom property in span for popup menu name.David Aspinall
2001-08-10Use proof-looking-at-syntactic-context function from proof-syntax, as suggest...David Aspinall
2001-08-10Found another instance of buffer-syntactic-contextDavid Aspinall
2001-08-10Set version tag for new release.David Aspinall
2001-08-10Workaround for buffer-syntactic-context bug in XEmacs 21.1David Aspinall
2001-08-10Change buffer-syntactic-context -> proof-buffer-syntactic-contextDavid Aspinall
2001-08-03Set version tag for new release.David Aspinall
2001-08-01Set version tag for new release.David Aspinall
2001-08-01Regenerate to remove Christophes patchDavid Aspinall
2001-08-01Moved compat hack to proof-siteDavid Aspinall
2001-08-01Revert to removing and re-adding specifiers for toolbar,David Aspinall
2001-08-01Add a dummy version of package-provide for FSFEmacs.David Aspinall
2001-07-25*** empty log message ***Christophe Raffalli
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-07-23Set version tag for new release.David Aspinall
2001-07-23Prevent error msg in proof-display-some-buffers if response dead.David Aspinall
2001-07-23Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals...David Aspinall
2001-07-09Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 02:19:51 +0000