Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 42138 e54a985daa61
parent 42012 2c3fe3cbebae
child 42240 5a4d30cd47a7
equal deleted inserted replaced
42137:6803f2fd15c1 42138:e54a985daa61 
     6 
     6 
     7 default: Pure
 
     7 default: Pure
 
     8 images: Pure
 
     8 images: Pure
 
     9 test: RAW
 
     9 test: RAW
 
    10 all: images test
 
    10 all: images test
 
       
    11 smlnj: all
 
    11 
    12 
    12 
    13 
    13 ## global settings
 
    14 ## global settings
 
    14 
    15 
    15 SRC = $(ISABELLE_HOME)/src
 
    16 SRC = $(ISABELLE_HOME)/src
isabelle