| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-09-28 | Renamed file | David Aspinall |
| 2000-09-27 | Updated web pages, misc improvements. | David Aspinall |
| 2000-09-23 | Forthcoming news item | David Aspinall |
| 2000-09-14 | Updates | David Aspinall |
| 2000-08-29 | Tweak | David Aspinall |
| 2000-08-28 | News updated | David Aspinall |
| 2000-05-25 | Second toolbar patch in 3.1.6 now. | David Aspinall |
| 2000-05-25 | Fix para spacing | David Aspinall |
| 2000-05-25 | Note about 3.1.6 | David Aspinall |
| 2000-05-09 | Added browsable CVS. | David Aspinall |
| 2000-05-05 | Missing para | David Aspinall |
| 2000-05-05 | Buglet in html | David Aspinall |
| 2000-05-05 | Hot news about FAQ. | David Aspinall |
| 2000-04-28 | Added note about 3.1.4 patch, merged from 3.1 branch | David Aspinall |
| 2000-04-04 | Updated news about 3.1.3, split old news out. | David Aspinall |
| 2000-03-23 | 3.1 available now | David Aspinall |
| 2000-03-13 | Updated web pages. | David Aspinall |
| 2000-03-10 | News about HOL support. | David Aspinall |
| 2000-02-17 | Typo | David Aspinall |
| 2000-02-15 | Rephrasing. | David Aspinall |
| 2000-02-15 | New development pages added, more links | David Aspinall |
| 2000-02-09 | Added note about countdown to 3.1 | David Aspinall |
| 1999-12-14 | Added slides, news about ETAPS demo. | David Aspinall |
| 1999-11-26 | Removed brackets. | David Aspinall |
| 1999-11-26 | News file purged. | David Aspinall |
| 1999-11-23 | Fix X-Symbol name | 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 | Link to demoisa-easy.el | David Aspinall |
| 1999-11-15 | Added in-testing message | David Aspinall |
| 1999-11-09 | No unless noted | David Aspinall |
| 1999-11-09 | News about x-symbol | David Aspinall |
| 1999-11-08 | Note about release 3.0. | David Aspinall |
| 1999-10-21 | Typo. | David Aspinall |
| 1999-10-21 | Updated for new screenshot | David Aspinall |
| 1999-10-14 | Version 3.0 message | David Aspinall |
| 1999-10-12 | Note about author added, removed signatures. | David Aspinall |
| 1999-10-12 | New Coq maintainer. | David Aspinall |
| 1999-10-06 | News later this month. | David Aspinall |
| 1999-10-06 | Next version will be 3.0 cvs update | David Aspinall |
| 1999-09-30 | News for 1st October. | David Aspinall |
| 1999-09-24 | Added names of helpful people at summer shcool | David Aspinall |
| 1999-09-23 | Fixed up date order. | David Aspinall |
| 1999-09-22 | Added item about Giens | David Aspinall |
| 1999-08-27 | wording | David Aspinall |
| 1999-08-27 | Added gallery | David Aspinall |
| 1999-08-24 | Altered release date for 2.1. | David Aspinall |
| 1999-08-23 | Very soon now = now | David Aspinall |
| 1999-08-20 | Tweaks for 2.1 release | David Aspinall |
