proof-general/TODO, branch master

proof-general/TODO, branch master Emacs plugins for proof management systems Deleted file 2008-01-28T18:56:09+00:00 David Aspinall 2008-01-28T18:56:09+00:00 3c8465b3606e33b0324b51250da5bec6f230f739

Updated. 2007-12-13T12:59:09+00:00 David Aspinall 2007-12-13T12:59:09+00:00 f916f8a84abd57b8cdd3ef7bc54c96b88c268076

Updated. 2005-09-22T08:14:14+00:00 David Aspinall 2005-09-22T08:14:14+00:00 cc4ba5ced2332a81b866a15876f2f5cabd21aace

Updated. 2004-04-16T10:23:33+00:00 David Aspinall 2004-04-16T10:23:33+00:00 254a9c79fce52f1326895848a7f8bb3cd1b3663f

Mention plans to implement PGIP support. 2004-04-13T13:11:36+00:00 David Aspinall 2004-04-13T13:11:36+00:00 9f5a0a3814b00df9c7c393831db986ae18f8704b

Mention plan to use CEDET. 2004-04-13T13:10:17+00:00 David Aspinall 2004-04-13T13:10:17+00:00 a8a5c264a995cf1bd4f15d34ee6cdc03f4ff7e94

Updated. 2004-03-03T15:59:53+00:00 David Aspinall 2004-03-03T15:59:53+00:00 f7eec8783733bab66dc3b4ddbf5d543bee33ef73

Update email and web addresses 2004-02-08T15:32:27+00:00 David Aspinall 2004-02-08T15:32:27+00:00 f65abf7bebf70421c7cd990db2ab688542c6de0b

Updated. 2002-08-29T01:38:14+00:00 David Aspinall 2002-08-29T01:38:14+00:00 3f0bf7149ad9ad49c7c84566637106485370ef65

Update 2002-08-16T17:01:42+00:00 David Aspinall 2002-08-16T17:01:42+00:00 d0bdf6b4c0dd8318dfeb8ca7b7d7aad9e0752b89