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.
Makefile for GraphBrowser
authorberghofe
Wed, 06 Aug 1997 00:04:53 +0200
changeset 3598 28b6670e415a
parent 3597 3ac6d6bcae42
child 3599 89cbba12863d
Makefile for GraphBrowser Initial revision
lib/browser/Makefile file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/Makefile	Wed Aug 06 00:04:53 1997 +0200
@@ -0,0 +1,7 @@
+# $Id$
+#
+# Makefile for GraphBrowser
+
+all:
+	javac GraphBrowser/GraphBrowser.java
+
isabelle