src/HOL/IsaMakefile
changeset 32662 2faf1148c062
parent 32636 55a0be42327c
child 32667 09546e654222
     1.1 --- a/src/HOL/IsaMakefile	Wed Sep 23 16:20:12 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Sep 23 16:20:12 2009 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  default: HOL
     1.6  generate: HOL-Generate-HOL HOL-Generate-HOLLight
     1.7 -images: HOL HOL-Base HOL-Plain HOL-Main HOL-Algebra HOL-Nominal HOL-NSA HOL-Word TLA HOL4
     1.8 +images: HOL HOL-Base HOL-Plain HOL-Main HOL-Algebra HOL-Nominal HOL-NSA HOL-Word TLA HOL4 HOL-MicroJava
     1.9  
    1.10  #Note: keep targets sorted (except for HOL-Library and HOL-ex)
    1.11  test: \