aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
1999-11-22Set version tag for new release.David Aspinall
1999-11-22Added link to pdf file.David Aspinall
1999-11-22Added link to eps fileDavid Aspinall
1999-11-22File movedDavid Aspinall
1999-11-19Set version tag for new release.David Aspinall
1999-11-19Added simplified interaction sectionDavid Aspinall
1999-11-18Set version tag for new release.David Aspinall
1999-11-18Call it functions menu, that's its name. Spacing.David Aspinall
1999-11-18TrivialDavid Aspinall
1999-11-18Section on what you need for PGDavid Aspinall
1999-11-18Fixed a broken link. Rephrased some bits.David Aspinall
1999-11-17TweaksDavid Aspinall
1999-11-17Another typoDavid Aspinall
1999-11-17TypoDavid Aspinall
1999-11-17Rewrote some history. Fixed pg_email link.David Aspinall
1999-11-17Full stop addedDavid Aspinall
1999-11-17Updated link to LFCS. Added link to demoisa-easy.elDavid Aspinall
1999-11-17Prevent access to ~ files too.David Aspinall
1999-11-17Reordering.David Aspinall
1999-11-17Link to demoisa-easy.elDavid Aspinall
1999-11-17Added link to CtCoqDavid Aspinall
1999-11-17Service patch to fix embarrassing privacy problem, 8-).David Aspinall
1999-11-17Set version tag for new release.David Aspinall
1999-11-17Ignore file for ProofGeneral link to ../.. for testing.David Aspinall
1999-11-17Link to demoisa-easy.elDavid Aspinall
1999-11-17Headers to match other pagesDavid Aspinall
1999-11-17Split download page into three parts.David Aspinall
1999-11-17Sign up to mailinglist by default.David Aspinall
1999-11-16Set version tag for new release.David Aspinall
1999-11-16UpdatesDavid Aspinall
1999-11-16Spruced up features listDavid Aspinall
1999-11-15Set version tag for new release.David Aspinall
1999-11-15Added in-testing messageDavid Aspinall
1999-11-12Set version tag for new release.David Aspinall
1999-11-10Set version tag for new release.David Aspinall
1999-11-09Set version tag for new release.David Aspinall
1999-11-09No unless notedDavid Aspinall
1999-11-09News about x-symbolDavid Aspinall
1999-11-08Note about release 3.0.David Aspinall
1999-11-02Set version tag for new release.David Aspinall
1999-10-22Set version tag for new release.David Aspinall
1999-10-21Typo.David Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-21Updated for new screenshotDavid Aspinall
1999-10-21New screenshotDavid Aspinall
1999-10-20Set version tag for new release.David Aspinall
1999-10-15Fixed bugDavid Aspinall
1999-10-15Doc fixes, php streamliningDavid Aspinall
1999-10-15FormattingDavid Aspinall
1999-10-14Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:05:50 +0000