ALL_LOGICS: topological order;
authorwenzelm
Tue Apr 26 19:50:14 2005 +0200 (2005-04-26 ago)
changeset 15845e84b1842a7a5
parent 15844 6b1e5f703246
child 15846 6f24b0c36dbd
ALL_LOGICS: topological order;
lib/Tools/makeall
     1.1 --- a/lib/Tools/makeall	Tue Apr 26 19:49:58 2005 +0200
     1.2 +++ b/lib/Tools/makeall	Tue Apr 26 19:50:14 2005 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  ## global settings
     1.6  
     1.7 -ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
     1.8 +ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
     1.9  
    1.10  
    1.11  ## diagnostics