2015-08-31 wenzelm 2015-08-31 prefer symbols;
2015-08-31 wenzelm 2015-08-31 proper qualified naming;
2015-08-31 wenzelm 2015-08-31 misc tuning and clarification;
2015-08-31 wenzelm 2015-08-31 misc tuning and modernization;
2015-08-31 wenzelm 2015-08-31 clarified context;
2015-08-31 wenzelm 2015-08-31 tuned signature;
2015-08-31 wenzelm 2015-08-31 clarified context;
2015-08-31 wenzelm 2015-08-31 tuned message;
2015-08-31 wenzelm 2015-08-31 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 store result of swapify, to avoid later access to implicit context;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 tuned;
2015-08-30 wenzelm 2015-08-30 clarified implicit context;
2015-08-30 wenzelm 2015-08-30 clarified exceptions; tuned signature;
2015-08-30 wenzelm 2015-08-30 clarified exceptions; more careful treatment of missing context;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-08-30 wenzelm 2015-08-30 clarified exceptions;
2015-08-28 wenzelm 2015-08-28 tuned documentation -- merge is implicitly performed by the system;
2015-08-28 wenzelm 2015-08-28 clarified exceptions: avoid interference of formal context failure with regular rule application failure (which is routinely handled in user-space);
2015-08-28 wenzelm 2015-08-28 more abstract theory certificate, which is not necessarily the full theory;
2015-08-28 blanchet 2015-08-28 eliminated obsolete environment variable
2015-08-28 wenzelm 2015-08-28 tuned signature;
2015-08-28 wenzelm 2015-08-28 tuned;
2015-08-28 wenzelm 2015-08-28 tuned;
2015-08-28 wenzelm 2015-08-28 tuned signature;
2015-08-28 wenzelm 2015-08-28 tuned;
2015-08-28 wenzelm 2015-08-28 tuned signature;
2015-08-28 wenzelm 2015-08-28 clarified language context, e.g. relevant for symbols;
2015-08-28 wenzelm 2015-08-28 merged;
2015-08-26 wenzelm 2015-08-26 tuned;
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;