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.
cosmetic
authoroheimb
Sat, 15 Feb 1997 17:45:08 +0100
changeset 2635 835820c1591d
parent 2634 b85c77b64c7a
child 2636 4b30dbe4a020
cosmetic
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sat Feb 15 17:44:10 1997 +0100
+++ b/src/HOL/IsaMakefile	Sat Feb 15 17:45:08 1997 +0100
@@ -197,8 +197,8 @@
 
 ## Full test
 
-test:	$(OUT)/HOL TFL IMP Hoare Lex Integ Auth Subst Lambda W0 MiniML \
-	IOA AxClasses ex
+test:	$(OUT)/HOL \
+	TFL IMP Hoare Lex Integ Auth Subst Lambda W0 MiniML IOA AxClasses ex
 	echo 'Test examples ran successfully' > test
isabelle