# HG changeset patch
# User wenzelm
# Date 1114537814 -7200
# Node ID e84b1842a7a5be2fdc1cb42f1b6bc2ac0d1ff065
# Parent  6b1e5f703246721a5607725de4ec42333095a410
ALL_LOGICS: topological order;

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