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