diff options
Diffstat (limited to 'doc/notes.txt')
| -rw-r--r-- | doc/notes.txt | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/doc/notes.txt b/doc/notes.txt index f44cb20c..5ebe8c35 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -79,14 +79,6 @@ Suggestion for outline of improved documentation. C. Future ideas and plans [da] -******** - -Why is C-c C-b useful? Could just use the file to read it one go -(will we have a command to do this other than via the process?). -BUT it's nice because it stops exactly where a proof fails, so you can -continue development from there. - - ********* Suggestions for improving web pages after Rod reading them: @@ -136,16 +128,6 @@ which aren't associated with theories, it's best to use a dummy theory, see [Reference to Isabelle manual] -********** - -Support for font-lock under FSF Emacs 20.2 - -To automatically switch on fontification, set - - (add-hook 'lego-mode-hooks 'turn-on-font-lock) - ^ - - ***************************************************************** Notes for writing a paper describing Proof General |