2015-09-02 wenzelm 2015-09-02 more thorough transfer;
2015-09-02 wenzelm 2015-09-02 clarified context;
2015-09-02 wenzelm 2015-09-02 more thorough transfer;
2015-09-02 wenzelm 2015-09-02 clarified context;
2015-09-02 wenzelm 2015-09-02 tuned message;
2015-09-02 wenzelm 2015-09-02 trim context for persistent storage;
2015-09-02 wenzelm 2015-09-02 trim context for persistent storage;
2015-09-02 wenzelm 2015-09-02 eliminated old 'defs';
2015-09-02 wenzelm 2015-09-02 expose locale definition to normal user-namespace (for completion, query etc.) -- in contrast to 149f80f27c84, ba9f52f56356, f7d9c5e5d2f9;
2015-09-02 wenzelm 2015-09-02 clarified vacuous binding;
2015-09-02 wenzelm 2015-09-02 trim context more thoroughly;
2015-09-02 wenzelm 2015-09-02 tuned;
2015-09-02 wenzelm 2015-09-02 updated sessions;
2015-09-01 wenzelm 2015-09-01 thread context for exceptions from forks, e.g. relevant when printing errors; tuned signature;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-09-01 wenzelm 2015-09-01 tuned -- avoid slightly odd @{cpat};
2015-08-31 wenzelm 2015-08-31 support x86_64-windows;
2015-08-31 wenzelm 2015-08-31 misc tuning and simplification;
2015-08-31 wenzelm 2015-08-31 proper option, not catch-all pattern;
2015-08-31 wenzelm 2015-08-31 support x86_64-windows;
2015-08-31 wenzelm 2015-08-31 prefer symbols;
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)