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.
set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
authorkleing
Mon, 26 May 2003 11:42:41 +0200
changeset 14044 bbd2f7b00736
parent 14043 b776fd812bdd
child 14045 a34d89ce6097
set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible) switched off by default
etc/settings file | annotate | diff | comparison | revisions
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat May 24 19:52:53 2003 +0200
+++ b/etc/settings	Mon May 26 11:42:41 2003 +0200
@@ -68,6 +68,9 @@
 
 ISABELLE_USEDIR_OPTIONS=""
 
+# for overriding proof objects in HOL image
+HOL_PROOF_OBJECTS=""
+
 
 ###
 ### Document preparation
--- a/src/HOL/IsaMakefile	Sat May 24 19:52:53 2003 +0200
+++ b/src/HOL/IsaMakefile	Mon May 26 11:42:41 2003 +0200
@@ -4,9 +4,6 @@
 # IsaMakefile for HOL
 #
 
-# for overriding proof objects in HOL image
-HOL_PROOF_OBJECTS=-p 2
-
 ## targets
 
 default: HOL
isabelle