isabelle: etc/isa-settings.el@d8e51792ca85 (annotated)

2938 d5e8b19a7765 Setup GNU Emacs for Isabelle environment. wenzelm parents: diff changeset	1	;
d5e8b19a7765 Setup GNU Emacs for Isabelle environment. wenzelm parents: diff changeset	2	; $Id$
d5e8b19a7765 Setup GNU Emacs for Isabelle environment. wenzelm parents: diff changeset	3	;
3304 08952002358d adapted to Isamode 2.6; wenzelm parents: 3070 diff changeset	4	; Setup Emacs for Isabelle environment.
2938 d5e8b19a7765 Setup GNU Emacs for Isabelle environment. wenzelm parents: diff changeset	5	;
d5e8b19a7765 Setup GNU Emacs for Isabelle environment. wenzelm parents: diff changeset	6
3304 08952002358d adapted to Isamode 2.6; wenzelm parents: 3070 diff changeset	7	;; Misc settings
2972 11e124d2e184 tuned; wenzelm parents: 2938 diff changeset	8
3304 08952002358d adapted to Isamode 2.6; wenzelm parents: 3070 diff changeset	9	(setq isa-use-sml-mode nil)
2972 11e124d2e184 tuned; wenzelm parents: 2938 diff changeset	10
11e124d2e184 tuned; wenzelm parents: 2938 diff changeset	11
3304 08952002358d adapted to Isamode 2.6; wenzelm parents: 3070 diff changeset	12	;; Fonts and Keymaps
2938 d5e8b19a7765 Setup GNU Emacs for Isabelle environment. wenzelm parents: diff changeset	13
4927 18eaed36a51e keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs oheimb parents: 3304 diff changeset	14	(load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs"
18eaed36a51e keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs oheimb parents: 3304 diff changeset	15	))

author	wenzelm
	Mon, 16 Nov 1998 11:11:58 +0100
changeset 5888	d8e51792ca85
parent 4927	18eaed36a51e
child 7812	a8a21d7a83a1
permissions	-rw-r--r--