proof-general/TODO.developer, branch master

proof-general/TODO.developer, branch master Emacs plugins for proof management systems Deleted file 2007-12-13T12:58:11+00:00 David Aspinall 2007-12-13T12:58:11+00:00 d64389d34f3494b97c67b7a6094123f1a699040c

Updated. 2007-03-03T17:22:35+00:00 David Aspinall 2007-03-03T17:22:35+00:00 e3ed0493a7dd8d47e21080923213436a27c87835

Note about final 3.6 todo 2006-05-26T13:18:42+00:00 David Aspinall 2006-05-26T13:18:42+00:00 fb7d8dffac3229b24967e135d174d29a1a560a31

Updated. 2005-03-25T15:11:35+00:00 David Aspinall 2005-03-25T15:11:35+00:00 76b7012bb8563382e3d78c464cb16e3f308fb43a

Remove project todos 2005-03-25T14:19:50+00:00 David Aspinall 2005-03-25T14:19:50+00:00 f75c29fff1c96c6b0315879a7bb3cba524d834b5

Renamed file 2004-12-01T22:38:34+00:00 David Aspinall 2004-12-01T22:38:34+00:00 ee9fbb707100dd2e05132c75dc0f8bee26e666bf