aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
...
* 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
* change for Emacs compatibility and FSF/Xemacs update. Copyright update.Gravatar David Aspinall2001-05-03
* Emacs fix (extent->span). Copyright update.Gravatar David Aspinall2001-05-03
* Set version tag for new release.Gravatar David Aspinall2001-05-01
* Set version tag for new release.Gravatar David Aspinall2001-03-20
* Remove temporary commentsGravatar David Aspinall2001-03-20
* Fix docstringGravatar David Aspinall2001-03-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* Set version tag for new release.Gravatar David Aspinall2001-02-07
* Set version tag for new release.Gravatar David Aspinall2001-02-06
* Set version tag for new release.Gravatar David Aspinall2001-01-12
* fixed format strings in message, error, etc.Gravatar Makarius Wenzel2001-01-11
* Set version tag for new release.Gravatar David Aspinall2001-01-05
* Set version tag for new release.Gravatar David Aspinall2000-12-22
* Removed accidently committed debugging codeGravatar David Aspinall2000-12-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 08:27:08 +0000