Diffusion Isabelle 6c9044f04756

clarified modules (again): services require full Isabelle/Scala environment;
6c9044f04756
Actions

Tags

None

Subscribers

None

Description

clarified modules (again): services require full Isabelle/Scala environment;

Details

Provenance

Authored on

Parents

rISABELLE8f6b2eb15240: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6c9044f04756: clarified modules (again): services require full Isabelle/Scala environment;.Jun 28 2021, 2:11 PM

Changes (4)

Path

Size

src/

Pure/

System/

isabelle_env.scala

isabelle_system.scala

Tools/

Tools/

jEdit/

src-base/

rISABELLE6c9044f04756

src/Pure/System/isabelle_env.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Tools/main.scala

Loading...

src/Tools/jEdit/src-base/plugin.scala

Loading...