Diffusion Isabelle 25c6423ec538

clarified signature: proper eval/print via interpret;
25c6423ec538
Actions

Tags

None

Subscribers

None

Description

clarified signature: proper eval/print via interpret;

Details

Provenance

Authored on

Parents

rISABELLE584aea0b29bb: clarified name;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE25c6423ec538: clarified signature: proper eval/print via interpret;.Sep 25 2020, 1:28 PM

makarius mentioned this in rISABELLE2c861b196d52: removed unused flag (see 25c6423ec538);.Apr 9 2022, 12:20 PM

Changes (2)

Path

Size

src/

Pure/

System/

scala_compiler.ML

rISABELLE25c6423ec538

src/Pure/System/scala.scala

Loading...

src/Pure/System/scala_compiler.ML

Loading...