added an intro lemma for freshness of products; set up
the simplifier so that it can deal with the compact and
long notation for freshness constraints (FIXME: it should
also be able to deal with the special case of freshness
of atoms)
# $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