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.
make Pure first to avoid race conditions on multiprocessor machines
authorkleing
Sat, 06 Dec 2003 04:33:18 +0100
changeset 14281 a8c4a1e63071
parent 14280 d7c3691008f9
child 14282 b23f028c1651
make Pure first to avoid race conditions on multiprocessor machines
lib/Tools/makeall file | annotate | diff | comparison | revisions 
--- a/lib/Tools/makeall	Sat Dec 06 04:32:28 2003 +0100
+++ b/lib/Tools/makeall	Sat Dec 06 04:33:18 2003 +0100
@@ -8,7 +8,7 @@
 
 ## global settings
 
-ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
+ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
 
 
 ## diagnostics
isabelle