diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 10:15:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 10:15:59 +0000 |
| commit | 27f259cb238ed5a47798d3533b02435f903cad9e (patch) | |
| tree | 909af48227fbb2745742738bd8add87f3d18a481 | |
| parent | 4b745b8ccf7e665eda4a7d6f3c19a90c898e838b (diff) | |
Updated.
| -rw-r--r-- | todo | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -23,8 +23,6 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. *** Update documentation. Include new screenshots also for web pages. -*** Remove papers subdirectory. - *** GNU Emacs bug: -- Behaviour of `proof-shell-exit' is different on command line and from menu. From menu it *hangs* for some reason, |