aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
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 ↵David Aspinall
started.
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
- remove visibility specs and script portion records during undo - clear visibility specs on restart
2001-08-17Add span-delete-action hookDavid Aspinall
2001-08-17Fix bug in proof-display-and-keep-buffer which had resulted in switching ↵David Aspinall
minibuffer windows buffer.
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 ↵David Aspinall
'goalsave again. Add idiom property.
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 ↵David Aspinall
suggested by Markus
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
so that enablers work at least as well as they did before...
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. ↵David Aspinall
Goals display convention, not hack.
2001-07-09Set version tag for new release.David Aspinall
2001-07-09Clean for compileDavid Aspinall
2001-07-09Clean for compile: new autloadDavid Aspinall
2001-07-09RefreshDavid Aspinall
2001-07-09Clean-up compileDavid Aspinall
2001-07-09Add require for arch flags, cleaner compilation.David Aspinall
2001-07-09Fix some bugs shown by byte compDavid Aspinall
2001-07-09Updated autoloadsDavid Aspinall
2001-07-09Package file (old attempt -- not working)David Aspinall
2001-05-29Set version tag for new release.David Aspinall
2001-05-29Display screen only if called interactivelyDavid Aspinall
2001-05-16Set version tag for new release.David Aspinall
2001-05-16Moved splash settings and basic custom groups elsewhereDavid Aspinall
2001-05-16Move loading of compatibility flag, autoloads, basic customization groups here.David Aspinall
2001-05-16Move autoloads loads to proof-site, invoke (proof-splash-message)David Aspinall
2001-05-16Move emacs version compatibility flags to proof-site.elDavid Aspinall
2001-05-16Move configuration from proof-config here. Make proof-splash-message ↵David Aspinall
display logo or print message.
2001-05-08Set version tag for new release.David Aspinall
2001-05-08Fixes for fontification in Xemacs 21.4David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 20:53:01 +0000