aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
1999-11-29UpdatedDavid Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Upcoming fix for 3.1.David Aspinall
1999-11-29Updated.David Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Renamed fileDavid Aspinall
1999-11-26Add main README, COPYING to RPM.David Aspinall
1999-11-26Add ProofGeneral.texi and CHANGES to RPM.David Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-24Set version tag for new release.David Aspinall
1999-11-23Set version tag for new release.David Aspinall
1999-11-22Set version tag for new release.David Aspinall
1999-11-19Set version tag for new release.David Aspinall
1999-11-18Set version tag for new release.David Aspinall
1999-11-18Junk proof-xsym-toggle-hookDavid Aspinall
1999-11-18Attempted patch no.1David Aspinall
1999-11-17Deleted files.David Aspinall
1999-11-17Changed doc linkDavid Aspinall
1999-11-17Set version tag for new release.David Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-16Set version tag for new release.David Aspinall
1999-11-16UpdatesDavid Aspinall
1999-11-16Test files for automatic multiple files.David Aspinall
1999-11-15Set version tag for new release.David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
1999-11-13Test caseDavid Aspinall
1999-11-12Set version tag for new release.David Aspinall
1999-11-12UpdatedDavid Aspinall
1999-11-12New testing filesDavid Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-11Patches for urgent message processing.David Aspinall
1999-11-10Set version tag for new release.David Aspinall
1999-11-10Junk codeDavid Aspinall
1999-11-09Set version tag for new release.David Aspinall
1999-11-09Test files for error in theory processing.David Aspinall
1999-11-08Updated multiple file notes.David Aspinall
1999-11-08New file.David Aspinall
1999-11-02Set version tag for new release.David Aspinall
1999-10-27test stray ML file;Makarius Wenzel
1999-10-25Trivial tests for auto multiple files.David Aspinall
1999-10-22Set version tag for new release.David Aspinall
1999-10-21Trivial changesDavid Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-20Set version tag for new release.David Aspinall
1999-10-20Minor change for testing.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 21:47:48 +0000