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.
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
authorwenzelm
Thu, 02 Jun 2005 18:29:47 +0200
changeset 16187 6ec757011ad6
parent 16186 6eb74e2cec7e
child 16188 841342a7c41c
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
etc/user-settings.sample file | annotate | diff | comparison | revisions
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/etc/user-settings.sample	Thu Jun 02 18:29:46 2005 +0200
+++ b/etc/user-settings.sample	Thu Jun 02 18:29:47 2005 +0200
@@ -1,8 +1,8 @@
 # -*- shell-script -*-
 # $Id$
 #
-# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
+# Isabelle user settings sample -- for use in ~/isabelle/etc/settings
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
-HOL_PROOF_OBJECTS="-p 1"
+HOL_USEDIR_OPTIONS="-p 1"
 ISABELLE_LOGIC=HOL
--- a/src/HOL/IsaMakefile	Thu Jun 02 18:29:46 2005 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 02 18:29:47 2005 +0200
@@ -114,7 +114,7 @@
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
   document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML			\
   thy_syntax.ML
-	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL
+	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL
 
 
 ## HOL-Complex-HahnBanach
isabelle