| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-06-14 | Note another todo | David Aspinall |
| 2004-05-06 | Fix one texi-docstring-magic, find another | David Aspinall |
| 2004-04-24 | Updated. | David Aspinall |
| 2004-04-18 | Comment about menu layout. | David Aspinall |
| 2004-04-17 | Clean up, re-order, change priorities, remove done things. | David Aspinall |
| 2004-04-17 | Updated. | David Aspinall |
| 2004-04-17 | Clear the stuff to do before 3.5 | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-15 | Updated. | David Aspinall |
| 2004-04-14 | Mention coding system for x-symbol warning message. | David Aspinall |
| 2004-04-13 | Note about x-symbol warning on locale. | David Aspinall |
| 2004-04-13 | *** empty log message *** | David Aspinall |
| 2004-04-06 | *** empty log message *** | David Aspinall |
| 2004-04-06 | *** empty log message *** | David Aspinall |
| 2004-04-06 | Updated. | David Aspinall |
| 2004-04-05 | Updated. | David Aspinall |
| 2004-04-02 | Updated. | David Aspinall |
| 2004-03-30 | Updated. | David Aspinall |
| 2004-02-08 | Web page todo | David Aspinall |
| 2004-02-08 | Updated. | David Aspinall |
| 2003-10-05 | Updated. | David Aspinall |
| 2003-09-24 | Updated. | David Aspinall |
| 2003-03-07 | Updated. | David Aspinall |
| 2003-02-22 | Updated. | David Aspinall |
| 2003-02-18 | Updated. | David Aspinall |
| 2003-02-18 | Updated. | David Aspinall |
| 2003-02-15 | Updated. | David Aspinall |
| 2002-11-28 | Updated. | David Aspinall |
| 2002-09-13 | Updated. | David Aspinall |
| 2002-09-11 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-16 | Updated. | David Aspinall |
| 2002-08-16 | Updated. | David Aspinall |
| 2002-08-16 | Updated. | David Aspinall |
| 2002-08-16 | Update | David Aspinall |
| 2002-08-08 | Updates | David Aspinall |
| 2002-08-07 | Updated. | David Aspinall |
| 2002-07-19 | Updated | David Aspinall |
| 2002-07-17 | Updates | David Aspinall |
| 2002-07-16 | Updated | David Aspinall |
| 2002-07-14 | Stick 3.4 stuff on end | David Aspinall |
| 2002-06-08 | Updates | David Aspinall |
| 2002-04-23 | Updated | David Aspinall |
| 2001-09-13 | updated | David Aspinall |
| 2001-09-10 | Update todo | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |