aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-08-01Added newsDavid Aspinall
2001-08-01Updated.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-25*** empty log message ***Christophe Raffalli
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-07-23Updated.David Aspinall
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-09Updated.David Aspinall
2001-07-09TODO for proof-ass fixing added.David Aspinall
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-06-22*** empty log message ***Christophe Raffalli
2001-05-29Fix Coq link.David Aspinall
2001-05-29Updated.David Aspinall
2001-05-29Set version tag for new release.David Aspinall
2001-05-29Remove extra proof."David Aspinall
2001-05-29Display screen only if called interactivelyDavid Aspinall
2001-05-29AF2 -> PhoX name changeDavid Aspinall
2001-05-29Add REGISTER to doc files.David Aspinall
2001-05-29Date 2001David Aspinall
2001-05-29Fix layout and typo.David Aspinall
2001-05-29Include PHP fileDavid Aspinall
2001-05-29Note about mailing list and registration.David Aspinall
2001-05-29Renamed fileDavid Aspinall
2001-05-29PHP version. Also dont mention junk filters.David Aspinall
2001-05-18preliminary addition of "corollary";Makarius Wenzel
2001-05-16Updated.David Aspinall
2001-05-16Set version tag for new release.David Aspinall
2001-05-16MinorDavid Aspinall
2001-05-16Run the display splash commandDavid Aspinall
2001-05-16Moved splash settings and basic custom groups elsewhereDavid Aspinall
2001-05-16splash changes.David 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 display...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 02:43:36 +0000