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.
Removed the "exit 1" calls, since now the
authorlcp
Thu, 06 Apr 1995 11:35:33 +0200
changeset 243 811481779743
parent 242 8cd051d5cf74
child 244 47aaadf256f6
Removed the "exit 1" calls, since now the Makefile does them.
Integ/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/Integ/ROOT.ML	Thu Apr 06 11:32:47 1995 +0200
+++ b/Integ/ROOT.ML	Thu Apr 06 11:35:33 1995 +0200
@@ -9,4 +9,4 @@
 HOL_build_completed;    (*Cause examples to fail if HOL did*)
 
 loadpath := ["Integ"];
-time_use_thy "Integ" handle _ => exit 1;
+time_use_thy "Integ";
Old_HOL