Diffusion Isabelle 16aa085f9353

clarified signature: more uniform ML vs. Scala;
16aa085f9353
Actions

Tags

None

Subscribers

None

Description

clarified signature: more uniform ML vs. Scala;

Details

Provenance

Authored on

Parents

rISABELLEf249b5c0fea2: clarified names;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE16aa085f9353: clarified signature: more uniform ML vs. Scala;.Apr 5 2020, 1:24 PM

Changes (3)

Path

Size

src/

Pure/

Concurrent/

isabelle_thread.ML

isabelle_thread.scala

Tools/

rISABELLE16aa085f9353

src/Pure/Concurrent/isabelle_thread.ML

Loading...

src/Pure/Concurrent/isabelle_thread.scala

Loading...

src/Pure/Tools/debugger.ML

Loading...