Diffusion Isabelle e2ad50885887

added "isabelle sessions" tool;
e2ad50885887
Actions

Tags

None

Subscribers

None

Description

added "isabelle sessions" tool;

Details

Provenance

Authored on

Parents

rISABELLEcdfa8f027bb9: tuned messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe2ad50885887: added "isabelle sessions" tool;.Apr 28 2020, 9:47 PM

makarius mentioned this in Blog Post: Command-line tool "isabelle sessions".Apr 28 2020, 10:16 PM

Changes (4)

Path

Size

src/

Doc/

System/

Pure/

System/

isabelle_tool.scala

Thy/

rISABELLEe2ad50885887

NEWS

Loading...

src/Doc/System/Sessions.thy

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...