aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
1999-11-30Note about dumb ttyDavid 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-29Set version tag for new release.David Aspinall
1999-11-26Removed brackets.David Aspinall
1999-11-26Fixup formattingDavid Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Add technology overview paper.David Aspinall
1999-11-26Outline paperDavid Aspinall
1999-11-26Updates for 3.0 release.David Aspinall
1999-11-26News file purged.David Aspinall
1999-11-25FIXME comment addedDavid Aspinall
1999-11-25Old news fileDavid Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-24Set version tag for new release.David Aspinall
1999-11-24Recommend the ps file over the pdf.David Aspinall
1999-11-23Set version tag for new release.David Aspinall
1999-11-23Clarify formats available.David Aspinall
1999-11-23Fix X-Symbol nameDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 14:57:02 +0000