isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

tuned message;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
eliminated old 'defs';
2015-09-02, by wenzelm
expose locale definition to normal user-namespace (for completion, query etc.) -- in contrast to 149f80f27c84, ba9f52f56356, f7d9c5e5d2f9;
2015-09-02, by wenzelm
clarified vacuous binding;
2015-09-02, by wenzelm
trim context more thoroughly;
2015-09-02, by wenzelm
tuned;
2015-09-02, by wenzelm
updated sessions;
2015-09-02, by wenzelm
thread context for exceptions from forks, e.g. relevant when printing errors;
2015-09-01, by wenzelm
eliminated \<Colon>;
2015-09-01, by wenzelm
tuned -- avoid slightly odd @{cpat};
2015-09-01, by wenzelm
support x86_64-windows;
2015-08-31, by wenzelm
misc tuning and simplification;
2015-08-31, by wenzelm
proper option, not catch-all pattern;
2015-08-31, by wenzelm
support x86_64-windows;
2015-08-31, by wenzelm
prefer symbols;
2015-08-31, by wenzelm
prefer symbols;
2015-08-31, by wenzelm
proper qualified naming;
2015-08-31, by wenzelm
misc tuning and clarification;
2015-08-31, by wenzelm
misc tuning and modernization;
2015-08-31, by wenzelm
clarified context;
2015-08-31, by wenzelm
tuned signature;
2015-08-31, by wenzelm
clarified context;
2015-08-31, by wenzelm
tuned message;
2015-08-31, by wenzelm
trim context for persistent storage;
2015-08-31, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
store result of swapify, to avoid later access to implicit context;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
tuned;
2015-08-30, by wenzelm
clarified implicit context;
2015-08-30, by wenzelm
clarified exceptions;
2015-08-30, by wenzelm
clarified exceptions;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
clarified exceptions;
2015-08-30, by wenzelm
tuned documentation -- merge is implicitly performed by the system;
2015-08-28, by wenzelm
clarified exceptions: avoid interference of formal context failure with regular rule application failure (which is routinely handled in user-space);
2015-08-28, by wenzelm
more abstract theory certificate, which is not necessarily the full theory;
2015-08-28, by wenzelm
eliminated obsolete environment variable
2015-08-28, by blanchet
tuned signature;
2015-08-28, by wenzelm
tuned;
2015-08-28, by wenzelm
tuned;
2015-08-28, by wenzelm
tuned signature;
2015-08-28, by wenzelm
tuned;
2015-08-28, by wenzelm
tuned signature;
2015-08-28, by wenzelm
clarified language context, e.g. relevant for symbols;
2015-08-28, by wenzelm
merged;
2015-08-28, by wenzelm
tuned;
2015-08-26, by wenzelm
generate proper error instead of exception if goal cannot be atomized
2015-08-27, by blanchet
standardized some occurences of ancient "split" alias
2015-08-27, by haftmann
more lemmas on sorting and multisets (due to Thomas Sewell)
2015-08-27, by haftmann
robust handling of Vampire 4 proofs
2015-08-27, by blanchet
reverted 6ac3172985d4 -- the old URL has been restored
2015-08-27, by blanchet
fixed typo in comment
2015-08-27, by blanchet
use fancy options of Java 8;
2015-08-26, by wenzelm
tuned signature;
2015-08-26, by wenzelm
clarified kill on Windows: just one executable;
2015-08-26, by wenzelm
avoid deprecated PluginOptions with its unbounded window size;
2015-08-25, by wenzelm
clarified undefined_blobs: already loaded theories are suppressed;
2015-08-25, by wenzelm
tuned spacing
2015-08-25, by nipkow
tuned exercise
2015-08-25, by nipkow
merged
2015-08-24, by wenzelm
reset focus after thread update (with new debug_states);
2015-08-24, by wenzelm
atomic Debugger.status;
2015-08-24, by wenzelm
tuned;
2015-08-24, by wenzelm
tuned;
2015-08-24, by wenzelm
more thorough GUI update;
2015-08-24, by wenzelm
maintain per-thread focus context;
2015-08-24, by wenzelm
typos
2015-08-24, by nipkow
nex exercise
2015-08-24, by nipkow
more explicit debugger caret rendering;
2015-08-24, by wenzelm
more explicit type Debugger.Context;
2015-08-23, by wenzelm
more precise tree re-selection;
2015-08-23, by wenzelm
proper GUI event;
2015-08-23, by wenzelm
update focus more thoroughly;
2015-08-23, by wenzelm
tuned;
2015-08-22, by wenzelm
merged
2015-08-21, by traytel
don't use types that come from the database---they are inconsistent with the ones occurring in the terms
2015-08-21, by traytel
tuned;
2015-08-21, by wenzelm
clarified linux application bundle;
2015-08-21, by wenzelm
more version information;
2015-08-21, by wenzelm
separate bundle for windows64;
2015-08-21, by wenzelm
tuned;
2015-08-21, by wenzelm
more scalable GUI;
2015-08-21, by wenzelm
eliminated WinRun4J artifact;
2015-08-21, by wenzelm
proper classpath for launcher;
2015-08-21, by wenzelm
updated to jdk-8u60, with support for x86_64-windows;
2015-08-21, by wenzelm
updated to recent launch4j 3.8;
2015-08-21, by wenzelm
clarified modules;
2015-08-20, by wenzelm
clarified modules, like ML version;
2015-08-20, by wenzelm
clarified modules, like ML version;
2015-08-20, by wenzelm
suppress small CPU time, notably on x86-windows, where bash does not account for the poly process;
2015-08-20, by wenzelm
obsolete;
2015-08-20, by wenzelm
tuned signature, according to ML version;
2015-08-20, by wenzelm
The Stone-Weierstrass theorem
2015-08-20, by paulson
tuned;
2015-08-20, by wenzelm
obsolete;
2015-08-20, by wenzelm
NEWS;
2015-08-20, by wenzelm
updated to polyml-5.5.3-20150820, with native x86-windows support;
2015-08-20, by wenzelm
precise BinIO, without newline conversion on Windows;
2015-08-20, by wenzelm
repaired proofs after 6a6f15d8fbc4;
2015-08-19, by wenzelm
merged
2015-08-19, by wenzelm
clarified x86-windows setup;
2015-08-19, by wenzelm
proper check for Windows executables;
2015-08-19, by wenzelm
Cygwin bash on Windows;
2015-08-19, by wenzelm
tuned;
2015-08-19, by wenzelm
avoid ambiguities on native Windows, such as / vs. /cygdrive/c/cygwin;
2015-08-19, by wenzelm
New material and fixes related to the forthcoming Stone-Weierstrass development
2015-08-19, by paulson
disabled auto resolve, until practical consequences are more clear;
2015-08-19, by wenzelm
example options;
2015-08-18, by wenzelm
proper platform_path;
2015-08-18, by wenzelm
clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
2015-08-18, by wenzelm
SOMEthing went wrong in eb87fc42825c;
2015-08-18, by wenzelm
include libgmp;
2015-08-18, by wenzelm
proper platform path for intial PolyML.SaveState.loadState;
2015-08-18, by wenzelm