tuned;
authorwenzelm
Mon Oct 29 17:22:18 2001 +0100 (2001-10-29)
changeset 11981ad67e8d2c75f
parent 11980 98a1bb0bfd3a
child 11982 65e2822d83dd
tuned;
Admin/makedist
etc/settings
     1.1 --- a/Admin/makedist	Mon Oct 29 14:09:10 2001 +0100
     1.2 +++ b/Admin/makedist	Mon Oct 29 17:22:18 2001 +0100
     1.3 @@ -10,6 +10,9 @@
     1.4  LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
     1.5  
     1.6  case $(hostname) in
     1.7 +  *lapbroy*)
     1.8 +    export CVSROOT=sunbroy1:/usr/proj/isabelle-repository/archive
     1.9 +    ;;
    1.10    *broy*)
    1.11      export CVSROOT=/usr/proj/isabelle-repository/archive
    1.12      ;;
     2.1 --- a/etc/settings	Mon Oct 29 14:09:10 2001 +0100
     2.2 +++ b/etc/settings	Mon Oct 29 17:22:18 2001 +0100
     2.3 @@ -173,6 +173,7 @@
     2.4    "/usr/share/emacs/ProofGeneral/isar/interface" \
     2.5    "$ISABELLE_INTERFACE")
     2.6  PROOFGENERAL_OPTIONS=""
     2.7 +#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
     2.8  
     2.9  # X-Symbol mode for Proof General
    2.10  XSYMBOL_HOME=$(choosefrom \