| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Updated |  David Aspinall | 2000-03-09 |
| * | Split low-level todo into several files. | David Aspinall | 2000-03-08 |
| * | Updated | David Aspinall | 2000-02-29 |
| * | Todos for 3.1 | David Aspinall | 2000-02-28 |
| * | Note about X-Symbol problems. | David Aspinall | 2000-01-12 |
| * | Added two new bugs to be fixed. | David Aspinall | 1999-12-13 |
| * | Note about pdftexinfo bug. | David Aspinall | 1999-11-30 |
| * | Updated | David Aspinall | 1999-11-30 |
| * | Updated | David Aspinall | 1999-11-30 |
| * | Updated | David Aspinall | 1999-11-26 |
| * | Updated for 3.0 release. | David Aspinall | 1999-11-25 |
| * | Updated | David Aspinall | 1999-11-25 |
| * | Updated | David Aspinall | 1999-11-25 |
| * | Updated | David Aspinall | 1999-11-24 |
| * | Updated | David Aspinall | 1999-11-24 |
| * | Updated | David Aspinall | 1999-11-23 |
| * | More notes about x-sym fixes | David Aspinall | 1999-11-23 |
| * | Updated | David Aspinall | 1999-11-22 |
| * | More todo's??? Surely not | David Aspinall | 1999-11-19 |
| * | Added note about C-c RET broken on console. | David Aspinall | 1999-11-19 |
| * | Updated | David Aspinall | 1999-11-18 |
| * | Updated | David Aspinall | 1999-11-18 |
| * | Updated | David Aspinall | 1999-11-17 |
| * | Updated | David Aspinall | 1999-11-17 |
| * | todo for shell exiting | David Aspinall | 1999-11-16 |
| * | Updated | David Aspinall | 1999-11-16 |
| * | Updated | David Aspinall | 1999-11-15 |
| * | Updated | David Aspinall | 1999-11-15 |
| * | Updated | David Aspinall | 1999-11-15 |
| * | Updated | David Aspinall | 1999-11-14 |
| * | Updated | David Aspinall | 1999-11-13 |
| * | Updated | David Aspinall | 1999-11-12 |
| * | Updated | David Aspinall | 1999-11-11 |
| * | Extensive fixes for x-symbol and font-lock. | David Aspinall | 1999-11-11 |
| * | Added proof-help command to help menu. | David Aspinall | 1999-11-11 |
| * | Patches for urgent message processing. | David Aspinall | 1999-11-11 |
| * | Added new command proof-goto-point, new default binding for C-c RET. | David Aspinall | 1999-11-11 |
| * | Latest todos | David Aspinall | 1999-11-10 |
| * | Updated | David Aspinall | 1999-11-08 |
| * | todo to improve proof-script-next-entity-regexps. | David Aspinall | 1999-10-21 |
| * | Updated with further issues raised by ever eager Munich folk. | David Aspinall | 1999-10-20 |
| * | Issues added after report from DvO. | David Aspinall | 1999-10-19 |
| * | Updated | David Aspinall | 1999-10-15 |
| * | Updated | David Aspinall | 1999-10-12 |
| * | Usability enhancement | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | updates | David Aspinall | 1999-10-06 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |