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/Tools/GraphBrowser/etc/build.props
changeset 74013 f114e11fe21d
parent 74011 1d366486a812
child 74015 12b1f4649ab1
equal deleted inserted replaced
74012:341941afe827 74013:f114e11fe21d 
     1 description = graph browser
 
     1 description = graph browser
 
     2 lib = .
 
     2 lib = $ISABELLE_HOME/lib/classes
 
     3 name = GraphBrowser
 
     3 name = GraphBrowser
 
     4 javac_options = -source 7 -target 7
 
     4 javac_options = -source 7 -target 7
 
     5 sources = \
 
     5 sources = \
 
     6   GraphBrowser/AWTFontMetrics.java \
 
     6   GraphBrowser/AWTFontMetrics.java \
 
     7   GraphBrowser/AbstractFontMetrics.java \
 
     7   GraphBrowser/AbstractFontMetrics.java \
isabelle