isabelle: Graph

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

discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error);
23 months ago, by wenzelm
proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);
23 months ago, by wenzelm
proper Scala version, e.g. for IntelliJ IDEA;
23 months ago, by wenzelm
NEWS
24 months ago, by desharna
used standard Time.compare in Sledgehammer's preplay
24 months ago, by desharna
moved variable bindings to tighter scope
24 months ago, by desharna
removed proof reconstruction from Mirabelle; this is best handled directly in Sledgehammer
24 months ago, by desharna
removed unused function parameter
24 months ago, by desharna
merged
24 months ago, by paulson
A couple of new lemmas
24 months ago, by paulson
merged
24 months ago, by wenzelm
more NEWS;
24 months ago, by wenzelm
explicitly reject 'handle' with catch-all patterns;
24 months ago, by wenzelm
avoid accidental 'handle' of interrupts;
24 months ago, by wenzelm
tuned: prefer try-catch/finally over low-level 'handle';
24 months ago, by wenzelm
clarified treatment of exceptions: avoid catch-all handlers;
24 months ago, by wenzelm
clarified output vs. error: presence of error messages means error (see also cb7264721c91);
24 months ago, by wenzelm
tuned;
2023-09-26, by wenzelm
more robust management of resources, using Thread_Attributes.uninterruptible;
2023-09-26, by wenzelm
tuned;
2023-09-26, by wenzelm
clarified signature;
2023-09-26, by wenzelm
more robust management of resources, using Thread_Attributes.uninterruptible;
2023-09-26, by wenzelm
tuned;
2023-09-26, by wenzelm
tuned;
2023-09-26, by wenzelm
tuned signature;
2023-09-26, by wenzelm
clarified signature: distinction of unmanaged vs. managed interrupts (not implemented yet);
2023-09-26, by wenzelm
clarified signature;
2023-09-25, by wenzelm
clarified modules;
2023-09-25, by wenzelm
unused;
2023-09-25, by wenzelm
clarified order of modules: early access to interrupt management of Isabelle_Threads;
2023-09-25, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

isabelle