lib/browser/Makefile

use proof objects for HOL by default

# $Id$

all:
	javac GraphBrowser/GraphBrowser.java GraphBrowser/Console.java

clean:
	rm -f GraphBrowser/*.class
	rm -f awtUtilities/*.class