updated to scala-2.12.12;

updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;

NEWS;

test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;

updated to kodkodi-1.5.6: more robust treatment of interrupt;

removed pointless version checks: Isabelle component integration does the job already;

more robust treatment of execution with interrupts; tuned comments;

suppress odd warning for context.exit();

more explicit treatment of interrupt;

tuned;

more flexible default for max_threads;

proper default for max_threads; proper warmup example;

a proof of concept for generic conversions

proper name (amending 742d94015918);

invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);

avoid odd PIDE markup, notably in kokodi input;

clarified names;

clarified signature;

clarified signature;

proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;

proper treatment of absolute deadline vs. relative timeout;

clarified session: no parent image for minor theory imports;

removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process;

more lemmas

proper syntax declaration

merged

reversing all the lex crap

tuned;

merged

preload library;