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.
tuned order of targets;
authorwenzelm
Fri, 23 Sep 2005 22:21:50 +0200
changeset 17610 58778df33e2f
parent 17609 5156b731ebc8
child 17611 61556de6ef46
tuned order of targets;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Sep 23 22:21:49 2005 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 23 22:21:50 2005 +0200
@@ -14,10 +14,10 @@
   HOL-Auth \
   HOL-AxClasses \
   HOL-Bali \
-  HOL-Complex-ex \
+  HOL-Complex-HahnBanach \
   HOL-Complex-Import \
+  HOL-Complex-ex \
   HOL-Extraction \
-      HOL-Complex-HahnBanach \
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-IMP \
isabelle