Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip