| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-12-01 | Fix HTML error | David Aspinall |
| 1999-12-01 | Made background a bit lighter. | David Aspinall |
| 1999-11-30 | Set version tag for new release. | David Aspinall |
| 1999-11-30 | Set version tag for new release. | David Aspinall |
| 1999-11-30 | Note about dumb tty | David Aspinall |
| 1999-11-30 | Added new screenshots, thumbnails. | David Aspinall |
| 1999-11-30 | Fix page titles. | David Aspinall |
| 1999-11-30 | New screenshots | David Aspinall |
| 1999-11-30 | New screenshots. | David Aspinall |
| 1999-11-30 | I retain copyright for PG images. | David Aspinall |
| 1999-11-30 | Typo | David Aspinall |
| 1999-11-29 | Set version tag for new release. | David Aspinall |
| 1999-11-26 | Removed brackets. | David Aspinall |
| 1999-11-26 | Fixup formatting | David Aspinall |
| 1999-11-26 | Set version tag for new release. | David Aspinall |
| 1999-11-26 | Add technology overview paper. | David Aspinall |
| 1999-11-26 | Outline paper | David Aspinall |
| 1999-11-26 | Updates for 3.0 release. | David Aspinall |
| 1999-11-26 | News file purged. | David Aspinall |
| 1999-11-25 | FIXME comment added | David Aspinall |
| 1999-11-25 | Old news file | David Aspinall |
| 1999-11-25 | Set version tag for new release. | David Aspinall |
| 1999-11-24 | Set version tag for new release. | David Aspinall |
| 1999-11-24 | Recommend the ps file over the pdf. | David Aspinall |
| 1999-11-23 | Set version tag for new release. | David Aspinall |
| 1999-11-23 | Clarify formats available. | David Aspinall |
| 1999-11-23 | Fix X-Symbol name | David Aspinall |
| 1999-11-22 | Set version tag for new release. | David Aspinall |
| 1999-11-22 | Added link to pdf file. | David Aspinall |
| 1999-11-22 | Added link to eps file | David Aspinall |
| 1999-11-22 | File moved | David Aspinall |
| 1999-11-19 | Set version tag for new release. | David Aspinall |
| 1999-11-19 | Added simplified interaction section | David Aspinall |
| 1999-11-18 | Set version tag for new release. | David Aspinall |
| 1999-11-18 | Call it functions menu, that's its name. Spacing. | David Aspinall |
| 1999-11-18 | Trivial | David Aspinall |
| 1999-11-18 | Section on what you need for PG | David Aspinall |
| 1999-11-18 | Fixed a broken link. Rephrased some bits. | David Aspinall |
| 1999-11-17 | Tweaks | David Aspinall |
| 1999-11-17 | Another typo | David Aspinall |
| 1999-11-17 | Typo | David Aspinall |
| 1999-11-17 | Rewrote some history. Fixed pg_email link. | David Aspinall |
| 1999-11-17 | Full stop added | David Aspinall |
| 1999-11-17 | Updated link to LFCS. Added link to demoisa-easy.el | David Aspinall |
| 1999-11-17 | Prevent access to ~ files too. | David Aspinall |
| 1999-11-17 | Reordering. | David Aspinall |
| 1999-11-17 | Link to demoisa-easy.el | David Aspinall |
| 1999-11-17 | Added link to CtCoq | David Aspinall |
| 1999-11-17 | Service patch to fix embarrassing privacy problem, 8-). | David Aspinall |
| 1999-11-17 | Set version tag for new release. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |