# HG changeset patch
# User wenzelm
# Date 1162664738 -3600
# Node ID 7b4fb2a2c75e146689d3132818470b771baf1ff3
# Parent  01ef0dbd51aee00d09e22d99de06ed8bd8459ab6
HOL_USEDIR_OPTIONS: -p 1 by default;

diff -r 01ef0dbd51ae -r 7b4fb2a2c75e etc/settings
--- a/etc/settings	Sat Nov 04 19:25:36 2006 +0100
+++ b/etc/settings	Sat Nov 04 19:25:38 2006 +0100
@@ -70,7 +70,7 @@
 ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML"
 
 # Specifically for the HOL image
-HOL_USEDIR_OPTIONS=""
+HOL_USEDIR_OPTIONS="-p 1"
 
 
 ###