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.
Put IOA back into test
authornipkow
Mon, 13 Nov 1995 16:44:48 +0100
changeset 1329 8987c0df4b2f
parent 1328 9a449a91425d
child 1330 e9becade0076
Put IOA back into test
src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/Makefile	Mon Nov 13 12:06:57 1995 +0100
+++ b/src/HOL/Makefile	Mon Nov 13 16:44:48 1995 +0100
@@ -138,7 +138,7 @@
 	echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC)
 
 #Full test. (IOA has been removed temporarily)
-test:   $(BIN)/HOL IMP Integ Subst Lambda MiniML ex
+test:   $(BIN)/HOL IMP Integ Subst Lambda MiniML IOA ex
 	echo 'Test examples ran successfully' > test
 
 .PRECIOUS:  $(BIN)/Pure $(BIN)/HOL
isabelle