aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-12-03Set version tag for new release.David Aspinall
1999-12-03Clarified further problem with Isabelle and ML files with embedded semis.David Aspinall
1999-12-03Fix link to SRPM.David Aspinall
1999-12-01Moved notice about license to download.phtml. Made plea for registration eve...David Aspinall
1999-12-01Update link for Isamode to be on zermelo (careful)David Aspinall
1999-12-01Set version tag for new release.David Aspinall
1999-12-01Minor.David Aspinall
1999-12-01Updated from version sent to lists.David Aspinall
1999-12-01Shorten note about imenu.David Aspinall
1999-12-01Fix HTML errors.David Aspinall
1999-12-01Add attribute that news was written by me.David Aspinall
1999-12-01Fix link to Dilip's rather uninformative pageDavid Aspinall
1999-12-01Hedge on tag for validator image, it's really a lie and should have a questio...David Aspinall
1999-12-01Fix broken linkDavid Aspinall
1999-12-01Removed unused descitem style.David Aspinall
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