Diffusion Isabelle df7494f14388

clarified command line;
df7494f14388
Actions

Tags

None

Subscribers

None

Description

clarified command line;

Details

Provenance

Authored on

Parents

rISABELLEf61e55bab00c: proper navigation wrt. caret;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdf7494f14388: clarified command line;.Mar 1 2020, 10:52 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

Tools/

scala_project.scala

rISABELLEdf7494f14388

src/Doc/System/Scala.thy

Loading...

src/Pure/Tools/scala_project.scala

Loading...