# HG changeset patch # User wenzelm # Date 1187648650 -7200 # Node ID eb199bbbaec0c5adfb01fefa2e6dbde9387e11c9 # Parent 743575ccfec880c31222366079f61360397d6059 use HOL-ex later; diff -r 743575ccfec8 -r eb199bbbaec0 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Mon Aug 20 23:41:43 2007 +0200 +++ b/src/HOL/IsaMakefile Tue Aug 21 00:24:10 2007 +0200 @@ -11,8 +11,8 @@ #Note: keep targets sorted (except for HOL-Library) test: \ + HOL-Library \ HOL-ex \ - HOL-Library \ HOL-Auth \ HOL-AxClasses \ HOL-Bali \