Diffusion Isabelle 82abfda58667

init default context;
82abfda58667
Actions

Tags

None

Subscribers

None

Description

init default context;

Details

Provenance

Authored on

Parents

rISABELLE2b7840fb2f90: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE82abfda58667: init default context;.May 23 2020, 12:04 PM

Changes (2)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLE82abfda58667

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/scala.scala

Loading...