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 74029 0701ff55780d
parent 74015 12b1f4649ab1
child 79015 3befd4d1e6f2
equal deleted inserted replaced
74028:77cc23b550e9 74029:0701ff55780d 
     1 description = graph browser
 
     1 title = graph browser
 
     2 lib = $ISABELLE_HOME/lib/classes
 
     2 module = $ISABELLE_HOME/lib/classes/isabelle_graphbrowser.jar
 
     3 name = isabelle_graphbrowser
 
       
     4 javac_options = -source 7 -target 7
 
     3 javac_options = -source 7 -target 7
 
     5 sources = \
 
     4 sources = \
 
     6   awt/Border.java \
 
     5   awt/Border.java \
 
     7   awt/MessageDialog.java \
 
     6   awt/MessageDialog.java \
 
     8   awt/TextFrame.java \
 
     7   awt/TextFrame.java \
isabelle