Diffusion Isabelle d92e0197ba01

clarified options -l vs. -R;
d92e0197ba01
Actions

Tags

None

Subscribers

None

Description

clarified options -l vs. -R;

Details

Provenance

Authored on

Parents

rISABELLE38398766be6b: command-line arguments for "isabelle vscode", similar to "isabelle jedit";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd92e0197ba01: clarified options -l vs. -R;.Mar 22 2022, 6:52 PM

Changes (3)

Path

Size

src/

Doc/

JEdit/

Tools/

VSCode/

src/

vscode_main.scala

jEdit/

lib/

Tools/

rISABELLEd92e0197ba01

src/Doc/JEdit/JEdit.thy

Loading...

src/Tools/VSCode/src/vscode_main.scala

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...