aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
1999-08-20Changes for PG 2.1David Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-19Set version tag for new release.David Aspinall
1999-08-17Mention mailing listDavid Aspinall
1999-08-17Mention developers mailing listDavid Aspinall
1999-08-17Mail to majordomo, not daDavid Aspinall
1999-08-17HTML tweaksDavid Aspinall
1999-08-17Set version tag for new release.David Aspinall
1999-07-22Set version tag for new release.David Aspinall
1999-07-22Downgraded Isabelle version to 98-1 againDavid Aspinall
1999-07-16Set version tag for new release.David Aspinall
1999-07-07Set version tag for new release.David Aspinall
1999-07-05Validator address fix.David Aspinall
1999-07-03Tweaks and validation fixes.David Aspinall
1999-07-03Fixed validator address.David Aspinall
1999-07-03CommentDavid Aspinall
1999-07-03Request to register a little more encouraging.David Aspinall
1999-07-03Set version tag for new release.David Aspinall
1999-07-02Set version tag for new release.David Aspinall
1999-07-02Missing space.David Aspinall
1999-07-02Spaces and punctuationDavid Aspinall
1999-07-02Notes about php functions.David Aspinall
1999-07-01Note about doc files absence from devel tarball.David Aspinall
1999-07-01Set version tag for new release.David Aspinall
1999-06-30Attribute LFCS on front pageDavid Aspinall
1999-06-30Removed hack for texi2html, now using hacked texi2html instead.David Aspinall
1999-06-30Streamlined a bitDavid Aspinall
1999-06-30Set version tag for new release.David Aspinall
1999-06-30TweaksDavid Aspinall
1999-06-30Simple hit counterDavid Aspinall
1999-06-28TweakDavid Aspinall
1999-06-28Link for printing download is just .ps.gz now.David Aspinall
1999-06-28Mention Plastic and Isar and release number of Emacs.David Aspinall
1999-06-28Added pg_title variableDavid Aspinall
1999-06-28Fixed link to devel RPM.David Aspinall
1999-06-28Paraphrased some of the history.David Aspinall
1999-06-28Set version tag for new release.David Aspinall
1999-06-28general with whipDavid Aspinall
1999-06-28Fixed email addressesDavid Aspinall
1999-06-28Got proper file from backup.David Aspinall
1999-06-28pointer to FSF EmacsDavid Aspinall
1999-06-24Set version tag for new release.proofgen
1999-06-24Support for version 3 browsers added.David Aspinall
1999-06-24Deleted files.David Aspinall
1999-06-24New imageDavid Aspinall
1999-06-24Style sheet.David Aspinall
1999-06-24Notes about web pagesDavid Aspinall
1999-06-24New web pagesDavid Aspinall
1999-06-24.phtml insteadDavid Aspinall
1999-06-24New imagesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:30:17 +0000