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.
INSTALL
changeset 14024 213dcc39358f
parent 14009 0d648f24bab4
child 16476 baa008d0fee9
equal deleted inserted replaced
14023:180f01d9df2c 14024:213dcc39358f 
    63 
    63 
    64   [ISABELLE_HOME]/build FOL
 
    64   [ISABELLE_HOME]/build FOL
 
    65 
    65 
    66 Special object-logic targets may be specified as follows:
 
    66 Special object-logic targets may be specified as follows:
 
    67 
    67 
    68   [ISABELLE_HOME]/build -m HOL-Real HOL
 
    68   [ISABELLE_HOME]/build -m HOL-Complex HOL
 
    69 
    69 
    70 
    70 
    71 2) User installation
 
    71 2) User installation
 
    72 --------------------
 
    72 --------------------
 
    73 
    73
isabelle