| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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-23 |
| * | 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-22 |
| * | Set version tag for new release. | David Aspinall | 1999-11-19 |
| * | Added simplified interaction section | David Aspinall | 1999-11-19 |
| * | 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-18 |
| * | 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 | 1999-11-17 |
| * | Ignore file for ProofGeneral link to ../.. for testing. | David Aspinall | 1999-11-17 |
| * | Link to demoisa-easy.el | David Aspinall | 1999-11-17 |
| * | Headers to match other pages | David Aspinall | 1999-11-17 |
| * | Split download page into three parts. | David Aspinall | 1999-11-17 |
| * | Sign up to mailinglist by default. | David Aspinall | 1999-11-17 |
| * | Set version tag for new release. | David Aspinall | 1999-11-16 |
| * | Updates | David Aspinall | 1999-11-16 |
| * | Spruced up features list | David Aspinall | 1999-11-16 |
| * | Set version tag for new release. | David Aspinall | 1999-11-15 |
| * | Added in-testing message | David Aspinall | 1999-11-15 |
| * | Set version tag for new release. | David Aspinall | 1999-11-12 |
| * | Set version tag for new release. | David Aspinall | 1999-11-10 |
| * | Set version tag for new release. | David Aspinall | 1999-11-09 |
| * | No unless noted | David Aspinall | 1999-11-09 |
| * | News about x-symbol | David Aspinall | 1999-11-09 |
| * | Note about release 3.0. | David Aspinall | 1999-11-08 |
| * | Set version tag for new release. | David Aspinall | 1999-11-02 |
| * | Set version tag for new release. | David Aspinall | 1999-10-22 |
| * | Typo. | David Aspinall | 1999-10-21 |
| * | Set version tag for new release. | David Aspinall | 1999-10-21 |
| * | Updated for new screenshot | David Aspinall | 1999-10-21 |
| * | New screenshot | David Aspinall | 1999-10-21 |
| * | Set version tag for new release. | David Aspinall | 1999-10-20 |
| * | Fixed bug | David Aspinall | 1999-10-15 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |