aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* *** empty log message ***Gravatar Christophe Raffalli2000-12-22
* Set version tag for new release.Gravatar David Aspinall2000-12-21
* Fix comment to not break texi magicGravatar David Aspinall2000-12-20
* More broken escapes.Gravatar David Aspinall2000-12-20
* Set version tag for new release.Gravatar David Aspinall2000-12-20
* goalsave -> proofGravatar David Aspinall2000-12-20
* Testing line for PGIP.Gravatar David Aspinall2000-12-20
* Improvements to span handling, including new variables: proof-shell-last-outp...Gravatar David Aspinall2000-12-20
* Improvements to span handlingGravatar David Aspinall2000-12-20
* Set version tag for new release.Gravatar David Aspinall2000-12-15
* Remove some user-level functions to pg-user.Gravatar David Aspinall2000-12-14
* Add proof-disappearing-proofsGravatar David Aspinall2000-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 11:35:17 +0000