tuned
reinstated popular add_ac and mult_ac to avoid needless incompatibilities in user space
afp-poly runs on macbroy2 (different ghc)
avoid duplicate fact name
made SML/NJ happier
doc fixes (contributed by Christian Sternagel)
more appropriate postprocessing of rational numbers: extract sign to front of fraction
reverse induction over nonempty lists
apparently, setting ISABELLE_GHC makes ghc unusable
attempt to run without ISABELLE_GHC setting again on mac-poly
check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
provide explicit options file -- avoid multiple Scala/JVM invocation;
avoid delay_load overrun;
updated to jdk-8u11 (inactive);
proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c);
updated to jdk-7u65;
discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;
always complete explicit symbols;
more on "Simplifier trace" (by Lars Hupel);
ghc mac installation repaired; test back on.