diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-01 19:24:34 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-01 19:24:34 +0000 |
| commit | c25e3c1a1c3c12a81f90b0a20321ca9734634032 (patch) | |
| tree | c9f28dc5bdde334f820253ec8276856643b74119 /doc/notes.txt | |
| parent | 00c337af2ea574baf01a26581b80aa1fd955e2f0 (diff) | |
o added support for byte-compilation
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
Diffstat (limited to 'doc/notes.txt')
| -rw-r--r-- | doc/notes.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/notes.txt b/doc/notes.txt index bbd9ab16..ebed6181 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -130,6 +130,14 @@ 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 |