aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* *** empty log message ***Gravatar Christophe Raffalli2001-07-25
* Various changes for win32 compatibilityGravatar Christophe Raffalli2001-07-25
* Set version tag for new release.Gravatar David Aspinall2001-07-23
* Prevent error msg in proof-display-some-buffers if response dead.Gravatar David Aspinall2001-07-23
* Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals...Gravatar David Aspinall2001-07-23
* Set version tag for new release.Gravatar David Aspinall2001-07-09
* Clean for compileGravatar David Aspinall2001-07-09
* Clean for compile: new autloadGravatar David Aspinall2001-07-09
* RefreshGravatar David Aspinall2001-07-09
* Clean-up compileGravatar David Aspinall2001-07-09
* Add require for arch flags, cleaner compilation.Gravatar David Aspinall2001-07-09
* Fix some bugs shown by byte compGravatar David Aspinall2001-07-09
* Updated autoloadsGravatar David Aspinall2001-07-09
* Package file (old attempt -- not working)Gravatar David Aspinall2001-07-09
* Set version tag for new release.Gravatar David Aspinall2001-05-29
* Display screen only if called interactivelyGravatar David Aspinall2001-05-29
* Set version tag for new release.Gravatar David Aspinall2001-05-16
* Moved splash settings and basic custom groups elsewhereGravatar David Aspinall2001-05-16
* Move loading of compatibility flag, autoloads, basic customization groups here.Gravatar David Aspinall2001-05-16
* Move autoloads loads to proof-site, invoke (proof-splash-message)Gravatar David Aspinall2001-05-16
* Move emacs version compatibility flags to proof-site.elGravatar David Aspinall2001-05-16
* Move configuration from proof-config here. Make proof-splash-message display...Gravatar David Aspinall2001-05-16
* Set version tag for new release.Gravatar David Aspinall2001-05-08
* Fixes for fontification in Xemacs 21.4Gravatar David Aspinall2001-05-08
* Copyright date updatedGravatar David Aspinall2001-05-08
* Add Markus to list of authorsGravatar David Aspinall2001-05-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 05:32:04 +0000