diff options
-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 |