| changeset 74029 | 0701ff55780d |
| parent 74015 | 12b1f4649ab1 |
| child 79015 | 3befd4d1e6f2 |
--- a/src/Tools/GraphBrowser/etc/build.props Sat Jul 17 12:59:47 2021 +0200 +++ b/src/Tools/GraphBrowser/etc/build.props Sat Jul 17 13:42:21 2021 +0200 @@ -1,6 +1,5 @@ -description = graph browser -lib = $ISABELLE_HOME/lib/classes -name = isabelle_graphbrowser +title = graph browser +module = $ISABELLE_HOME/lib/classes/isabelle_graphbrowser.jar javac_options = -source 7 -target 7 sources = \ awt/Border.java \