# HG changeset patch
# User oheimb
# Date 856025108 -3600
# Node ID 835820c1591d99a5dc9a5df1e5f3dcb6a3f375e7
# Parent  b85c77b64c7af99733ed4bef5e0a82296134a88f
cosmetic

diff -r b85c77b64c7a -r 835820c1591d src/HOL/IsaMakefile
--- 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