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
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.
proper Exn.capture;
15 months ago, by wenzelm
more robust: avoid race condition;
15 months ago, by wenzelm
clarified name;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified comments;
15 months ago, by wenzelm
Fixed the duplication of fls_compose_fps, moving the definition in Laurent_Convergence to Formal_Laurent_Series along with several simpler facts
15 months ago, by paulson
atin now an abbreviation for atin_within, which has been moved to Abstract_Limits
15 months ago, by paulson
merged
15 months ago, by paulson
New proofs also some slightly faster existing proofs
15 months ago, by paulson
updated to hugo-0.119.0;
15 months ago, by Fabian Huch
add component build tool for hugo from afp-devel;
15 months ago, by Fabian Huch
removed test failing on some platform
15 months ago, by desharna
mini2 is not active due to upgrade;
15 months ago, by wenzelm
more PLATFORMS;
15 months ago, by wenzelm
update documentation on Isabelle/ML exceptions;
15 months ago, by wenzelm
misc tuning;
15 months ago, by wenzelm
discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error);
15 months ago, by wenzelm
proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);
15 months ago, by wenzelm
proper Scala version, e.g. for IntelliJ IDEA;
15 months ago, by wenzelm
NEWS
15 months ago, by desharna
used standard Time.compare in Sledgehammer's preplay
15 months ago, by desharna
moved variable bindings to tighter scope
15 months ago, by desharna
removed proof reconstruction from Mirabelle; this is best handled directly in Sledgehammer
15 months ago, by desharna
removed unused function parameter
15 months ago, by desharna
merged
15 months ago, by paulson
A couple of new lemmas
15 months ago, by paulson
merged
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
explicitly reject 'handle' with catch-all patterns;
15 months ago, by wenzelm
avoid accidental 'handle' of interrupts;
15 months ago, by wenzelm
tuned: prefer try-catch/finally over low-level 'handle';
15 months ago, by wenzelm
clarified treatment of exceptions: avoid catch-all handlers;
15 months ago, by wenzelm
clarified output vs. error: presence of error messages means error (see also cb7264721c91);
15 months ago, by wenzelm
tuned;
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
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip