Sort search results in order of relevance, where relevance =
a) better if 0 premises for intro or 1 premise for elim/dest rules
b) better if substitution size wrt to current goal is smaller
Only applies to intro, dest, elim, and simp
(contributed by Rafal Kolanski, NICTA)
# $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