* HOL/ML: even fewer consts are declared as global (see theories Ord,
Lfp, Gfp, WF); this only affects ML packages that refer to const names
internally;
* 'pr' command: no longer prints theory contexts, but only proof
states;
;
; $Id$
;
; Setup Emacs for Isabelle environment.
;
;; Misc settings
(setq isa-use-sml-mode nil)