proof-general/isar/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 






command 'thm' makes no sense outside a proper context;
2007-11-13T16:17:01+00:00

Makarius Wenzel

2007-11-13T16:17:01+00:00

a8e9cd2171bc46aa199eefbbb7de2dee390b4118

fixed spelling;





fixed spelling;







tuned;
2006-12-30T14:49:59+00:00

Makarius Wenzel

2006-12-30T14:49:59+00:00

b04ef68c5298cbcc1e22eb40e9595a60ae69d017












Updated.
2004-04-17T21:19:31+00:00

David Aspinall

2004-04-17T21:19:31+00:00

1a4c5de531bc56e9340a69691b85bea89e0084c4












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












imenu todo
2004-04-17T15:40:46+00:00

David Aspinall

2004-04-17T15:40:46+00:00

f5ac02c634619c6eabb355d0e8f96f3c18ce2cd2












Updated.
2004-04-16T17:46:24+00:00

David Aspinall

2004-04-16T17:46:24+00:00

90ea182ba3992b16101d62725449f36d66e62bbd












Updated.
2004-04-15T17:20:29+00:00

David Aspinall

2004-04-15T17:20:29+00:00

3b75d8b8658495da28473c156b73c0f291b85885












Updated.
2003-02-19T12:13:07+00:00

David Aspinall

2003-02-19T12:13:07+00:00

9696feae2f1cab56a375a8881a3a9483fd5eb3c7












Updated.
2002-08-16T17:22:45+00:00

David Aspinall

2002-08-16T17:22:45+00:00

0b3177ede95b177c02b7c1143dc0465160c39926