proper Isabelle/Scala tool --- avoid perl;
48569c862eb8
Actions

Description

proper Isabelle/Scala tool --- avoid perl;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (10)

Path

Size

Doc/

System/

System/

rISABELLE48569c862eb8

lib/Tools/logo

src/Doc/System/Misc.thy

src/Pure/System/isabelle_tool.scala

src/Pure/Tools/logo.scala

proper Isabelle/Scala tool --- avoid perl;48569c862eb8Actions

Description

Details

Changes (10)

rISABELLE48569c862eb8

lib/Tools/logo

src/Doc/System/Misc.thy

src/Pure/System/isabelle_tool.scala

src/Pure/Tools/logo.scala

src/Pure/build-jars

proper Isabelle/Scala tool --- avoid perl;
48569c862eb8
Actions