# HG changeset patch
# User wenzelm
# Date 1004372538 -3600
# Node ID ad67e8d2c75f620b9803e0368bcb459d53e23228
# Parent  98a1bb0bfd3aba84827c25e367a3483c60b96240
tuned;

diff -r 98a1bb0bfd3a -r ad67e8d2c75f Admin/makedist
--- a/Admin/makedist	Mon Oct 29 14:09:10 2001 +0100
+++ b/Admin/makedist	Mon Oct 29 17:22:18 2001 +0100
@@ -10,6 +10,9 @@
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
 case $(hostname) in
+  *lapbroy*)
+    export CVSROOT=sunbroy1:/usr/proj/isabelle-repository/archive
+    ;;
   *broy*)
     export CVSROOT=/usr/proj/isabelle-repository/archive
     ;;
diff -r 98a1bb0bfd3a -r ad67e8d2c75f etc/settings
--- a/etc/settings	Mon Oct 29 14:09:10 2001 +0100
+++ b/etc/settings	Mon Oct 29 17:22:18 2001 +0100
@@ -173,6 +173,7 @@
   "/usr/share/emacs/ProofGeneral/isar/interface" \
   "$ISABELLE_INTERFACE")
 PROOFGENERAL_OPTIONS=""
+#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
 
 # X-Symbol mode for Proof General
 XSYMBOL_HOME=$(choosefrom \