src/Tools/GraphBrowser/etc/build.props
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 = \