Diffusion Isabelle a2afc7ed2c68

another isabelle_scala_service;
a2afc7ed2c68
Actions

Tags

None

Subscribers

None

Description

another isabelle_scala_service;

Details

Provenance

Authored on

Parents

rISABELLE9644811b5b0a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa2afc7ed2c68: another isabelle_scala_service;.Apr 8 2020, 2:25 PM

Changes (4)

Path

Size

etc/

lib/

scripts/

src/

Pure/

System/

isabelle_tool.scala

rISABELLEa2afc7ed2c68

NEWS

Loading...

etc/settings

Loading...

lib/scripts/getfunctions

Loading...

src/Pure/System/isabelle_tool.scala

Loading...