2015-08-27 blanchet 2015-08-27 generate proper error instead of exception if goal cannot be atomized
2015-08-27 haftmann 2015-08-27 standardized some occurences of ancient "split" alias
2015-08-27 haftmann 2015-08-27 more lemmas on sorting and multisets (due to Thomas Sewell)
2015-08-27 blanchet 2015-08-27 robust handling of Vampire 4 proofs
2015-08-27 blanchet 2015-08-27 reverted 6ac3172985d4 -- the old URL has been restored
2015-08-27 blanchet 2015-08-27 fixed typo in comment
2015-08-26 wenzelm 2015-08-26 use fancy options of Java 8;
2015-08-26 wenzelm 2015-08-26 tuned signature;
2015-08-26 wenzelm 2015-08-26 clarified kill on Windows: just one executable;
2015-08-25 wenzelm 2015-08-25 avoid deprecated PluginOptions with its unbounded window size;
2015-08-25 wenzelm 2015-08-25 clarified undefined_blobs: already loaded theories are suppressed; enabled jedit_auto_resolve (again): e.g. relevant for debugging when following links through source files;
2015-08-25 nipkow 2015-08-25 tuned spacing
2015-08-25 nipkow 2015-08-25 tuned exercise
2015-08-24 wenzelm 2015-08-24 merged
2015-08-24 wenzelm 2015-08-24 reset focus after thread update (with new debug_states);
2015-08-24 wenzelm 2015-08-24 atomic Debugger.status; output without thread context is empty; tuned;
2015-08-24 wenzelm 2015-08-24 tuned;
2015-08-24 wenzelm 2015-08-24 tuned;
2015-08-24 wenzelm 2015-08-24 more thorough GUI update;
2015-08-24 wenzelm 2015-08-24 maintain per-thread focus context; tuned signature;
2015-08-24 nipkow 2015-08-24 typos
2015-08-24 nipkow 2015-08-24 nex exercise
2015-08-24 wenzelm 2015-08-24 more explicit debugger caret rendering;
2015-08-23 wenzelm 2015-08-23 more explicit type Debugger.Context;
2015-08-23 wenzelm 2015-08-23 more precise tree re-selection;
2015-08-23 wenzelm 2015-08-23 proper GUI event;
2015-08-23 wenzelm 2015-08-23 update focus more thoroughly;
2015-08-22 wenzelm 2015-08-22 tuned;
2015-08-21 traytel 2015-08-21 merged
2015-08-21 traytel 2015-08-21 don't use types that come from the database---they are inconsistent with the ones occurring in the terms
2015-08-21 wenzelm 2015-08-21 tuned;
2015-08-21 wenzelm 2015-08-21 clarified linux application bundle;
2015-08-21 wenzelm 2015-08-21 more version information;
2015-08-21 wenzelm 2015-08-21 separate bundle for windows64;
2015-08-21 wenzelm 2015-08-21 tuned;
2015-08-21 wenzelm 2015-08-21 more scalable GUI;
2015-08-21 wenzelm 2015-08-21 eliminated WinRun4J artifact; tuned;
2015-08-21 wenzelm 2015-08-21 proper classpath for launcher; proper use of jdk/x86-windows; misc tuning;
2015-08-21 wenzelm 2015-08-21 updated to jdk-8u60, with support for x86_64-windows;
2015-08-21 wenzelm 2015-08-21 updated to recent launch4j 3.8;
2015-08-20 wenzelm 2015-08-20 clarified modules;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-08-20 wenzelm 2015-08-20 suppress small CPU time, notably on x86-windows, where bash does not account for the poly process;
2015-08-20 wenzelm 2015-08-20 obsolete;
2015-08-20 wenzelm 2015-08-20 tuned signature, according to ML version;
2015-08-20 paulson 2015-08-20 The Stone-Weierstrass theorem
2015-08-20 wenzelm 2015-08-20 tuned;
2015-08-20 wenzelm 2015-08-20 obsolete;
2015-08-20 wenzelm 2015-08-20 NEWS;
2015-08-20 wenzelm 2015-08-20 updated to polyml-5.5.3-20150820, with native x86-windows support;
2015-08-20 wenzelm 2015-08-20 precise BinIO, without newline conversion on Windows;
2015-08-19 wenzelm 2015-08-19 repaired proofs after 6a6f15d8fbc4;
2015-08-19 wenzelm 2015-08-19 merged
2015-08-19 wenzelm 2015-08-19 clarified x86-windows setup;
2015-08-19 wenzelm 2015-08-19 proper check for Windows executables;
2015-08-19 wenzelm 2015-08-19 Cygwin bash on Windows;
2015-08-19 wenzelm 2015-08-19 tuned;
2015-08-19 wenzelm 2015-08-19 avoid ambiguities on native Windows, such as / vs. /cygdrive/c/cygwin;
2015-08-19 paulson 2015-08-19 New material and fixes related to the forthcoming Stone-Weierstrass development