proof-general/isa/todo, branch master

proof-general/isa/todo, branch master Emacs plugins for proof management systems Deleted file 2006-12-05T12:49:56+00:00 David Aspinall 2006-12-05T12:49:56+00:00 7077e2e8fed4a52af4894954c8446781cb5d40d6

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

Add proof-cannot-reopen-processed-files to fix behaviour of multiple files for Isabelle. 2004-04-17T17:41:06+00:00 David Aspinall 2004-04-17T17:41:06+00:00 69e7264621d7d213fcd27f9c63143e9817ea0d6d

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

Added bits from todo for Isabelle 2000-09-25T16:26:30+00:00 David Aspinall 2000-09-25T16:26:30+00:00 df3a3cbe4b42a91db133d089e3c13cee0207c166

done: ability to choose logic; 2000-09-19T09:44:49+00:00 Makarius Wenzel 2000-09-19T09:44:49+00:00 6ab21c5d86f4b85658c636a532cc3d9ca06653ba

Suggestion from DvO added 2000-07-26T18:39:04+00:00 David Aspinall 2000-07-26T18:39:04+00:00 53b2a8db0e1dba651818e8cfdae0ec86ecc2a895

Note about desirable additions to Isabelle 2000-05-09T15:58:46+00:00 David Aspinall 2000-05-09T15:58:46+00:00 49b87a2ce35e79f362d998f05cd09b4f8fc07441

tuned todo stuff; 2000-04-05T20:49:33+00:00 Makarius Wenzel 2000-04-05T20:49:33+00:00 0d87abac3f261b694eee930436974aeec50ec78b

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