proof-general/todo, branch master

proof-general/todo, branch master Emacs plugins for proof management systems Renamed file 2004-12-01T22:38:34+00:00 David Aspinall 2004-12-01T22:38:34+00:00 ee9fbb707100dd2e05132c75dc0f8bee26e666bf

*** empty log message *** 2004-08-31T08:21:37+00:00 David Aspinall 2004-08-31T08:21:37+00:00 632da95f9f929f49803400d7a5beb2cc5cf55705

Updates for 3.6 2004-08-25T20:48:35+00:00 David Aspinall 2004-08-25T20:48:35+00:00 7a26866442efe6cf129cbb9baf305dde9aaafe79

Note another todo 2004-06-14T08:38:30+00:00 David Aspinall 2004-06-14T08:38:30+00:00 fa6afeafadf077ab7f9a954c3e71b9ea9fad7a7f

Fix one texi-docstring-magic, find another 2004-05-06T18:27:29+00:00 David Aspinall 2004-05-06T18:27:29+00:00 8e565189e1f86154e34483c02011a4268a5b1814

Updated. 2004-04-24T11:15:27+00:00 David Aspinall 2004-04-24T11:15:27+00:00 2c0486ea8da1aef2c07bbf8da4f489148e00e766

Comment about menu layout. 2004-04-18T10:30:48+00:00 David Aspinall 2004-04-18T10:30:48+00:00 7520e9addbee01ee94d587f2f2c2be969356f0bc

Clean up, re-order, change priorities, remove done things. 2004-04-17T22:10:43+00:00 David Aspinall 2004-04-17T22:10:43+00:00 191202adabf2a9b6ea9f8ff389517940ae89f024

Updated. 2004-04-17T17:45:31+00:00 David Aspinall 2004-04-17T17:45:31+00:00 ca7b3b3ef605021ab66e1928d7bed897fb2ea697

Clear the stuff to do before 3.5 2004-04-17T17:42:32+00:00 David Aspinall 2004-04-17T17:42:32+00:00 b28c665978fdfbd1578c1de5408cd47dc0e88e7b