Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Typo | 1999-11-17 | |
| | |||
* | Rewrote some history. Fixed pg_email link. | 1999-11-17 | |
| | |||
* | Full stop added | 1999-11-17 | |
| | |||
* | Updated link to LFCS. Added link to demoisa-easy.el | 1999-11-17 | |
| | |||
* | Prevent access to ~ files too. | 1999-11-17 | |
| | |||
* | Reordering. | 1999-11-17 | |
| | |||
* | Link to demoisa-easy.el | 1999-11-17 | |
| | |||
* | Added link to CtCoq | 1999-11-17 | |
| | |||
* | Service patch to fix embarrassing privacy problem, 8-). | 1999-11-17 | |
| | |||
* | Set version tag for new release. | 1999-11-17 | |
| | |||
* | Ignore file for ProofGeneral link to ../.. for testing. | 1999-11-17 | |
| | |||
* | Link to demoisa-easy.el | 1999-11-17 | |
| | |||
* | Headers to match other pages | 1999-11-17 | |
| | |||
* | Split download page into three parts. | 1999-11-17 | |
| | |||
* | Sign up to mailinglist by default. | 1999-11-17 | |
| | |||
* | Set version tag for new release. | 1999-11-16 | |
| | |||
* | Updates | 1999-11-16 | |
| | |||
* | Spruced up features list | 1999-11-16 | |
| | |||
* | Set version tag for new release. | 1999-11-15 | |
| | |||
* | Added in-testing message | 1999-11-15 | |
| | |||
* | Set version tag for new release. | 1999-11-12 | |
| | |||
* | Set version tag for new release. | 1999-11-10 | |
| | |||
* | Set version tag for new release. | 1999-11-09 | |
| | |||
* | No unless noted | 1999-11-09 | |
| | |||
* | News about x-symbol | 1999-11-09 | |
| | |||
* | Note about release 3.0. | 1999-11-08 | |
| | |||
* | Set version tag for new release. | 1999-11-02 | |
| | |||
* | Set version tag for new release. | 1999-10-22 | |
| | |||
* | Typo. | 1999-10-21 | |
| | |||
* | Set version tag for new release. | 1999-10-21 | |
| | |||
* | Updated for new screenshot | 1999-10-21 | |
| | |||
* | New screenshot | 1999-10-21 | |
| | |||
* | Set version tag for new release. | 1999-10-20 | |
| | |||
* | Fixed bug | 1999-10-15 | |
| | |||
* | Doc fixes, php streamlining | 1999-10-15 | |
| | |||
* | Formatting | 1999-10-15 | |
| | |||
* | Set version tag for new release. | 1999-10-14 | |
| | |||
* | Version 3.0 message | 1999-10-14 | |
| | |||
* | Wording | 1999-10-12 | |
| | |||
* | Note about author added, removed signatures. | 1999-10-12 | |
| | |||
* | New Coq maintainer. | 1999-10-12 | |
| | |||
* | Set version tag for new release. | 1999-10-12 | |
| | |||
* | Set version tag for new release. | 1999-10-07 | |
| | |||
* | Remove LucidaSans, defaults to tt font. | 1999-10-06 | |
| | |||
* | News later this month. | 1999-10-06 | |
| | |||
* | Next version will be 3.0 cvs update | 1999-10-06 | |
| | |||
* | Set version tag for new release. | 1999-10-01 | |
| | |||
* | News for 1st October. | 1999-09-30 | |
| | |||
* | Set version tag for new release. | 1999-09-30 | |
| | |||
* | Mentioned and linked ChangeLog file. | 1999-09-30 | |
| |