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.
Added Bali to test
authorschirmer
Wed, 14 May 2003 20:36:29 +0200
changeset 14031 3240066af013
parent 14030 cd928c0ac225
child 14032 a6239314e380
Added Bali to test
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed May 14 20:29:18 2003 +0200
+++ b/src/HOL/IsaMakefile	Wed May 14 20:36:29 2003 +0200
@@ -10,11 +10,11 @@
 images: HOL HOL-Algebra HOL-Complex TLA
 
 #Note: keep targets sorted (except for HOL-Library)
-#  HOL-Bali
 test: \
   HOL-Library \
   HOL-Auth \
   HOL-AxClasses \
+  HOL-Bali \
   HOL-Complex-ex \
   HOL-CTL \
   HOL-Extraction \
isabelle