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.
removed option -depend (not available everywhere?);
authorwenzelm
Mon, 29 Oct 2001 14:09:10 +0100
changeset 11980 98a1bb0bfd3a
parent 11979 0a3dace545c5
child 11981 ad67e8d2c75f
removed option -depend (not available everywhere?);
lib/browser/Makefile file | annotate | diff | comparison | revisions 
--- a/lib/browser/Makefile	Sun Oct 28 22:59:12 2001 +0100
+++ b/lib/browser/Makefile	Mon Oct 29 14:09:10 2001 +0100
@@ -1,4 +1,4 @@
 # $Id$
 
 all:
-	javac -depend GraphBrowser/GraphBrowser.java
+	javac GraphBrowser/GraphBrowser.java
isabelle