Diffusion Isabelle bb048086468a

discontinued Isabelle tools implemented as .scala scripts;
bb048086468a
Actions

Tags

None

Subscribers

None

Description

discontinued Isabelle tools implemented as .scala scripts;

Details

Provenance

Authored on

Parents

rISABELLEa7e0129b8b2d: tuned proofs

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbb048086468a: discontinued Isabelle tools implemented as .scala scripts;.Jul 1 2022, 4:03 PM

Changes (3)

Path

Size

src/

Doc/

System/

Environment.thy

Pure/

System/

isabelle_tool.scala

rISABELLEbb048086468a

NEWS

Loading...

src/Doc/System/Environment.thy

Loading...

src/Pure/System/isabelle_tool.scala

Loading...