Mercurial Mercurial > repos > Old_HOL / 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.
added "exit 1"
authornipkow
Tue, 14 Mar 1995 09:42:49 +0100
changeset 230 e4cccc2dec54
parent 229 97e2565f13e8
child 231 31040e4345e8
added "exit 1"
IMP/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/IMP/ROOT.ML	Mon Mar 13 09:41:20 1995 +0100
+++ b/IMP/ROOT.ML	Tue Mar 14 09:42:49 1995 +0100
@@ -17,5 +17,6 @@
 writeln"Root file for HOL/IMP";
 proof_timing := true;
 loadpath := [".","IMP"];
-time_use_thy "Properties";
-time_use_thy "Equiv";
+(time_use_thy "Properties";
+ time_use_thy "Equiv"
+)  handle _ => exit 1;
Old_HOL