New features:
permissive option for fixrec to skip proofs of equations;
side conditions for fixrec equations (for definedness);
fixpat theorem names apply to entire group of theorems;
improved error messages
# $Id$
DST=classes
all: GraphBrowser.jar
GraphBrowser.jar: GraphBrowser/*.java awtUtilities/*.java
mkdir -p $(DST)
javac -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
jar cf GraphBrowser.jar -C $(DST) .
rm -rf $(DST)
clean:
rm -f GraphBrowser/*.class
rm -f awtUtilities/*.class
rm -rf $(DST)
rm -f GraphBrowser.jar