Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 29 Oct 2001 17:22:18 +0100
changeset 11981 ad67e8d2c75f
parent 11980 98a1bb0bfd3a
child 11982 65e2822d83dd
tuned;
Admin/makedist file | annotate | diff | comparison | revisions
etc/settings file | annotate | diff | comparison | revisions 
--- 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
     ;;
--- 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 \
isabelle