Fixed print translations for quantifiers a la "ALL x>=t. P x". These used
to fail when the other term in the comparison was itself a bound variable,
as in "EX y. ALL x>=y. P x".
# $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