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