aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2001-05-16Doc of spec and menu, patch now removedDavid Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Fix case to match Mandrake menu.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Fix quotes.David Aspinall
2001-05-08Repair link via htmlshow.phpDavid Aspinall
2001-05-08Change info dir entry to appear next to Proof General entry.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Set version tag for new release.David Aspinall
2001-05-08Change DEVELDOWNLOAD to edit correct fileDavid Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Add a line to clear out build root.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Forgot to make BUILD dir.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Fix cut and past tab errorDavid Aspinall
2001-05-08rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta...David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Clean out NAME, force link.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Include a few files from etc in the distribution, esp .spec fileDavid Aspinall
2001-05-08*** empty log message ***David Aspinall
2001-05-08Deleted files.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Fix section title for makeinfoDavid Aspinall
2001-05-08Set version tag for new release.David Aspinall
2001-05-08Dont make SRPM any more. Use rpm -tb to build binary package from tarballDavid Aspinall
2001-05-08UpdatesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 01:00:33 +0000