From c25e3c1a1c3c12a81f90b0a20321ca9734634032 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Sun, 1 Nov 1998 19:24:34 +0000 Subject: 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 --- doc/notes.txt | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'doc/notes.txt') 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 -- cgit v1.2.3