Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
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.
clarified signature;
15 months ago, by wenzelm
more robust management of resources, using Thread_Attributes.uninterruptible;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
clarified signature: distinction of unmanaged vs. managed interrupts (not implemented yet);
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
unused;
15 months ago, by wenzelm
clarified order of modules: early access to interrupt management of Isabelle_Threads;
15 months ago, by wenzelm
tuned: prefer antiquotation for try-catch;
15 months ago, by wenzelm
tuned: prefer antiquotation for try-catch;
15 months ago, by wenzelm
tuned: prefer antiquotation for try-finally;
15 months ago, by wenzelm
omit pointless capture/release (see also 469a375212c1);
15 months ago, by wenzelm
omit pointless capture/release (see also 26774ccb1c74);
15 months ago, by wenzelm
clarified signature: avoid association with potentially dangerous Exn.capture;
15 months ago, by wenzelm
more robust: catch/finally part is uninterruptible;
15 months ago, by wenzelm
more position information, e.g. for warning about fn-pattern;
15 months ago, by wenzelm
unused;
15 months ago, by wenzelm
more general ML_Antiquotation.special_form;
15 months ago, by wenzelm
Importing or moving a few more useful theorems
15 months ago, by paulson
merged
15 months ago, by paulson
A few new theorems
15 months ago, by paulson
avoid legacy binding errors in Sledgehammer Isar proofs
15 months ago, by blanchet
parse applie lambdas correctly plus deal gracefully with lambda-lifting in Zipperposition
15 months ago, by blanchet
added argo
15 months ago, by blanchet
allow (~) syntax in TPTP proofs for unapplied negation
15 months ago, by blanchet
reconstruct Zipperposition's if-then-else in Sledgehammer Isar proofs
15 months ago, by blanchet
use same associativity as Isabelle when parsing HOL proofs
15 months ago, by blanchet
improved Sledgehammer's HOL proof parser w.r.t. negation
15 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip