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 \