author | wenzelm |
Wed, 23 Mar 2011 21:07:05 +0100 | |
changeset 42079 | 71662f36b573 |
parent 42064 | f4e53c8630c0 |
permissions | -rw-r--r-- |
42079 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
42064
f4e53c8630c0
added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter
blanchet
parents:
diff
changeset
|
3 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools" |