Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
fc0814e9f7a8
more NEWS;
fc0814e9f7a8
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
more NEWS;
Details
Provenance
makarius
Authored on
Parents
rISABELLE72631efa3821: explicitly reject 'handle' with catch-all patterns;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLEfc0814e9f7a8: more NEWS;
.
Sep 29 2023, 11:19 AM
2023-09-29 11:19:19 (UTC+2)
makarius
mentioned this in
Blog Post: Robust handling of program exceptions in Isabelle/ML
.
Sep 29 2023, 2:09 PM
2023-09-29 14:09:43 (UTC+2)