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