Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified directory;
authorwenzelm
Fri, 16 Jul 2021 12:40:39 +0200
changeset 74013 f114e11fe21d
parent 74012 341941afe827
child 74014 3b8b1da2ff29
clarified directory;
src/Tools/GraphBrowser/etc/build.props file | annotate | diff | comparison | revisions 
--- 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 = \
isabelle