| changeset 74013 | f114e11fe21d |
| parent 74011 | 1d366486a812 |
| child 74015 | 12b1f4649ab1 |
--- a/src/Tools/GraphBrowser/etc/build.props Fri Jul 16 12:34:47 2021 +0200 +++ b/src/Tools/GraphBrowser/etc/build.props Fri Jul 16 12:40:39 2021 +0200 @@ -1,5 +1,5 @@ description = graph browser -lib = . +lib = $ISABELLE_HOME/lib/classes name = GraphBrowser javac_options = -source 7 -target 7 sources = \