proof-general/coq/todo, branch master

proof-general/coq/todo, 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. 2004-04-23T10:28:15+00:00 David Aspinall 2004-04-23T10:28:15+00:00 21371a3d0691999b8ffb131cb1541a608b628dd7

Updated. 2004-04-17T22:48:32+00:00 David Aspinall 2004-04-17T22:48:32+00:00 e31b40340f58575c03f1b533dbdb0242c9952925

Updated. 2004-04-15T17:20:29+00:00 David Aspinall 2004-04-15T17:20:29+00:00 3b75d8b8658495da28473c156b73c0f291b85885

Update versions/TODO 2002-07-17T12:03:46+00:00 David Aspinall 2002-07-17T12:03:46+00:00 a38f5defd9ed81de0263b1bf5ec42bce3589cdd2

added some comments in coq/todo 2000-09-29T15:16:32+00:00 Pierre Courtieu 2000-09-29T15:16:32+00:00 c7ce231c26a5f859a0d773320f0320fc7a1814d1

Updated todo's. 2000-03-22T15:32:48+00:00 David Aspinall 2000-03-22T15:32:48+00:00 204342f620cb85421981dec27d36bf76565d8db9

Updated 2000-03-19T06:42:24+00:00 David Aspinall 2000-03-19T06:42:24+00:00 776750c813a39954259f5eb098259b5c124afd8c

Note about useless output from Coq 2000-03-14T10:58:03+00:00 David Aspinall 2000-03-14T10:58:03+00:00 9f91b1072d5fe1da6fb7ab525ec44e9e8621a7e2

New/updated information files 2000-03-13T04:21:14+00:00 David Aspinall 2000-03-13T04:21:14+00:00 390a659861192ebf98811438f61c4f992ecad25a