tuned;
authorwenzelm
Sat Jul 01 19:49:20 2000 +0200 (2000-07-01)
changeset 9226cbe6144f0f15
parent 9225 4772656ddbbc
child 9227 298ae5f69b18
tuned;
etc/isa-settings.el
etc/user-settings.sample
     1.1 --- a/etc/isa-settings.el	Sat Jul 01 19:49:09 2000 +0200
     1.2 +++ b/etc/isa-settings.el	Sat Jul 01 19:49:20 2000 +0200
     1.3 @@ -1,9 +1,7 @@
     1.4  ;
     1.5  ; $Id$
     1.6  ;
     1.7 -; Setup Emacs for Isabelle environment.
     1.8 +; Options for Isamode (old)
     1.9  ;
    1.10  
    1.11 -;; Misc settings
    1.12 -
    1.13  (setq isa-use-sml-mode nil)
     2.1 --- a/etc/user-settings.sample	Sat Jul 01 19:49:09 2000 +0200
     2.2 +++ b/etc/user-settings.sample	Sat Jul 01 19:49:20 2000 +0200
     2.3 @@ -2,34 +2,9 @@
     2.4  # $Id$
     2.5  #
     2.6  # Isabelle user settings sample (everything commented out)
     2.7 -#   -- some parts may be copied into ~/isabelle/etc/settings.
     2.8 +#   -- may be copied to ~/isabelle/etc/settings
     2.9  #
    2.10  
    2.11 -###
    2.12 -### Compilation options
    2.13 -###
    2.14 -
    2.15  #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    2.16  
    2.17 -
    2.18 -###
    2.19 -### Heap files
    2.20 -###
    2.21 -
    2.22 -# Note: ML system identifier appended automatically!
    2.23 -
    2.24 -#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    2.25 -#ISABELLE_OUTPUT=somewhere-else
    2.26 -
    2.27  #ISABELLE_LOGIC=ZF
    2.28 -
    2.29 -
    2.30 -###
    2.31 -### Interfaces
    2.32 -###
    2.33 -
    2.34 -# Simple xterm based interface.
    2.35 -#ISABELLE_INTERFACE=xterm
    2.36 -
    2.37 -# Emacs running Isamode.
    2.38 -#ISABELLE_INTERFACE=emacs