Diffusion Isabelle f6bf65554764

clarified files;
f6bf65554764
Actions

Tags

None

Subscribers

None

Description

clarified files;

Details

Provenance

Authored on

Parents

rISABELLE47ffeb3448f4: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf6bf65554764: clarified files;.Nov 28 2020, 11:36 PM

Changes (9)

Path

Size

Pure/

System/

isabelle_tool.scala

build_vscode.scala

	textmate_grammar.scala
	grammar.scala

rISABELLEf6bf65554764

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...

src/Tools/VSCode/src/build_vscode.scala

Loading...

src/Tools/VSCode/src/grammar.scala

Loading...

src/Tools/VSCode/src/textmate_grammar.scala

Loading...