Commit message (Expand) | Author | Age | |
---|---|---|---|
* | News file purged. | David Aspinall | 1999-11-26 |
* | 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-25 |
* | Set version tag for new release. | David Aspinall | 1999-11-24 |
* | Recommend the ps file over the pdf. | David Aspinall | 1999-11-24 |
* | 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 |