reintroduced '...' (nonexhaustive) syntax for SPASS-Pirate

really unfold

avoid non-standard simp default rule

now covered by AFP 3ddac3e572cf

avoid name shadowing

spelling

predicator simplification rules: support also partially specialized types e.g. 'a * nat

all BNF tests can be part of a normal session because they are much faster now

merged

tuned;

modernized Future/Promise implementation, bypassing old actors;

updated according to scala-2.11.0 recommendations;

explicit Exn.error_message in accordance to Output.error_message in ML;

detect nested interrupts;

clarified message and return code, in accordance to ML version;

interruptible dependencies, which can take a few seconds;

more abstract Exn.Interrupt and POSIX return code;

avoid accidental use of scala.language.reflectiveCalls;

tuned options for scalac;

updated workaround;

avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

avoid octal escape literals -- deprecated in scala-2.11.0;

updated to scala-2.11.0 with classpath provided by its etc/settings;

no need to copy jars, after regular use of classpath in 793a429c63e7;

accomodate scala-2.11.0: evade somewhat erratic fix of ImmutableSetFactory in Scala/bfa70315d72d;

made SML/NJ happier

size function for multisets

updated BNF docs

qualify name