aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-12-01Fix HTML errors by adding name arg to dt() function.David Aspinall
1999-12-01Fix HTML errors.David Aspinall
1999-12-01Mention using imenu instead of func-menu.David Aspinall
1999-12-01Fix HTML error with fileshow.David Aspinall
1999-12-01Added comments about initializing counter.David Aspinall
1999-12-01Fix HTML errorDavid Aspinall
1999-12-01Made background a bit lighter.David Aspinall
1999-11-30Updated for 3.1preDavid Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Development version becomes 3.1.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Cannot have FULLVERSION in spec file, will break links, etc.David Aspinall
1999-11-30Edit spec file to get tar file name right.David Aspinall
1999-11-30Remove -b option from tag. Probably needs to be done by hand.David Aspinall
1999-11-30Correct release tags.David Aspinall
1999-11-30Added -b option to tag.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Added -b option to tag.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Note about pdftexinfo bug.David Aspinall
1999-11-30Disabled use of macros for URLs, sigh. It breaks pdftexinfo.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Note about dumb ttyDavid Aspinall
1999-11-30Fixup branchDavid Aspinall
1999-11-30Renamed fileDavid Aspinall
1999-11-30UpdatedDavid Aspinall
1999-11-30Added new screenshots, thumbnails.David Aspinall
1999-11-30Fix page titles.David Aspinall
1999-11-30New screenshotsDavid Aspinall
1999-11-30New screenshots.David Aspinall
1999-11-30I retain copyright for PG images.David Aspinall
1999-11-30TypoDavid Aspinall
1999-11-30UpdatedDavid Aspinall
1999-11-30Added macros for some URLs.David Aspinall
1999-11-30UpdatedDavid Aspinall
1999-11-30Added FULLVERSION mechanism, to tag proof-general-release.David Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-29Fixed download URL to be homepage.David Aspinall
1999-11-29Added John's name to the creditsDavid Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Note about duplicated messages.David Aspinall
1999-11-29Added more notes about using ML files in Isabelle.David Aspinall
1999-11-29Upcoming fix for 3.1.David Aspinall
1999-11-29Updated.David Aspinall
1999-11-29Note about proof_timing in IsabelleDavid Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-29TypoDavid Aspinall
1999-11-29Comments about improved handling of urgent message markers, followingDavid Aspinall
1999-11-29Change SML minor mode binding to C-c C-m, avoiding clash withDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 16:51:35 +0000