# HG changeset patch
# User wenzelm
# Date 1626432039 -7200
# Node ID f114e11fe21d57ef7792a7cb41355b5dcf7fbc26
# Parent  341941afe827bb7673b32c71117b1a2e22479463
clarified directory;

diff -r 341941afe827 -r f114e11fe21d src/Tools/GraphBrowser/etc/build.props
--- 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 = \