Diffusion Isabelle c8dc5d1adc7b

removed obsolete commands;
c8dc5d1adc7b
Actions

Tags

None

Subscribers

None

Description

removed obsolete commands;

Details

Provenance

Authored on

Parents

rISABELLE42f19e398ee4: command 'scala_build_generated_files' with proper management of source…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc8dc5d1adc7b: removed obsolete commands;.Jul 22 2022, 3:28 PM

Changes (4)

Path

Size

src/

Pure/

Tools/

generated_files.ML

scala_build.scala

rISABELLEc8dc5d1adc7b

src/Pure/Pure.thy

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Pure/Tools/scala_build.ML

Loading...

src/Pure/Tools/scala_build.scala

Loading...