diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 17:44:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 17:44:19 +0000 |
| commit | 2b8010a5e03688777f837149499f8449d46a2c3f (patch) | |
| tree | 6e44076cd06982f6bf61ac12a4ecb693e66d9056 /todo | |
| parent | 1c6f7dce8ace0e7a3e3d2348f4e70bee8df2dbb6 (diff) | |
Web page todo
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -31,6 +31,8 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. *** Check multiple file support in Isabelle -- maybe has become buggy +*** Complete clean-up of web page, broken link fixes. + * Proof General Infeasibly Long Low-Level List of Things to Do |