further fix related to bd9a0028b063 -- that change was per se right, but it exposed a bug in the pattern for "all"

better tautology check -- don't reject "prod_cases3" for example

tuned debugging file names

more systematic identifier variants to facilitate experimentation;

prevent dedicated MacOSX plugin from switching off vital workarounds;

improved coupling of zoom_box and scale; explicit rescale(1.0) on startup;

really all facts means really all facts (well, almost)

tuning

use modern SAT solvers with modern Kodkod versions

got rid of support for Kodkodi < 1.2.14

made MaSh evaluation driver work with SMT solvers

merge aliased theorems in MaSh dependencies, modulo symmetry of equality

adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers)

better name for SMT solver files

updated version of MaSh learner engine

push normalization further -- avoid theorems that are duplicates of each other except for equality symmetry (esp. for "list.distinct(1)" vs. "(2)" etc.)

disable Find_Unused_Assms_Examples for now, to recover isatest sanity;

less massive arrow heads;

added explicit zoom box;

some attempts at more discrete scale factor;

more official graphics context with font metrics;

just one class with parameters;

initial layout coordinates more like old browser; tuned geometry defaults;

added speculative options for jEdit;

separate instance of class Parameters for each Main_Panel -- avoid global program state; misc tuning;

discontinued long names flag -- better done via entity markup, without affecting layout;

tuned;

tuned;

tuned min/max;

tuned;