Diffusion Isabelle fde0b195cb7d

clarified signature: avoid association with potentially dangerous Exn.capture;
fde0b195cb7d
Actions

Tags

None

Subscribers

None

Description

clarified signature: avoid association with potentially dangerous Exn.capture;

Details

Provenance

Authored on

Parents

rISABELLEb54aee45cabe: more robust: catch/finally part is uninterruptible;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfde0b195cb7d: clarified signature: avoid association with potentially dangerous Exn.capture;.Sep 25 2023, 6:45 PM

makarius mentioned this in rAFP7d01367fe6b2: clarified signature, following Isabelle/fde0b195cb7d;.Sep 29 2023, 2:04 PM

Changes (15)

Path

Size

src/

Doc/

Implementation/

HOL/

Library/

Tools/

Quickcheck/

narrowing_generators.ML

Pure/

Concurrent/

General/

Isar/

ML/

exn_debugger.ML

PIDE/

Syntax/

syntax_phases.ML

Tools/

Tools/

Code/

code_runtime.ML

rISABELLEfde0b195cb7d

src/Doc/Implementation/ML.thy

Loading...

src/HOL/Library/code_test.ML

Loading...

src/HOL/Tools/Quickcheck/narrowing_generators.ML

Loading...

src/Pure/Concurrent/future.ML

Loading...

src/Pure/Concurrent/par_list.ML

Loading...

src/Pure/General/exn.ML

Loading...

src/Pure/General/exn.scala

Loading...

src/Pure/General/timing.ML

Loading...

src/Pure/Isar/proof.ML

Loading...

src/Pure/ML/exn_debugger.ML

Loading...

src/Pure/PIDE/command.ML

Loading...

src/Pure/Syntax/syntax_phases.ML

Loading...

src/Pure/Tools/build.scala

Loading...

src/Tools/Code/code_runtime.ML

Loading...

src/Tools/quickcheck.ML

Loading...