diff -r 6b1e5f703246 -r e84b1842a7a5 lib/Tools/makeall
--- a/lib/Tools/makeall	Tue Apr 26 19:49:58 2005 +0200
+++ b/lib/Tools/makeall	Tue Apr 26 19:50:14 2005 +0200
@@ -7,7 +7,7 @@
 
 ## global settings
 
-ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
+ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
 
 
 ## diagnostics