Diffusion Isabelle f95ed5a0600c

clarified signature: uniform master_dir instead of separate field;
f95ed5a0600c
Actions

Tags

None

Subscribers

None

Description

clarified signature: uniform master_dir instead of separate field;

Details

Provenance

Authored on

Parents

rISABELLE6e1bf28d5a80: more standard master_dir;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf95ed5a0600c: clarified signature: uniform master_dir instead of separate field;.Jan 2 2023, 12:29 PM

Changes (7)

Path

Size

src/

Pure/

PIDE/

resources.scala

Thy/

file_format.scala

Tools/

build_job.scala

Tools/

VSCode/

src/

vscode_resources.scala

jEdit/

src/

jedit_resources.scala

rISABELLEf95ed5a0600c

src/Pure/PIDE/document.scala

Loading...

src/Pure/PIDE/protocol.scala

Loading...

src/Pure/PIDE/resources.scala

Loading...

src/Pure/Thy/file_format.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Tools/VSCode/src/vscode_resources.scala

Loading...

src/Tools/jEdit/src/jedit_resources.scala

Loading...