renamed "isabelle log" to "isabelle build_log";
cbb49fe8e5a2
Actions

Description

renamed "isabelle log" to "isabelle build_log";

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (4)

Path

Size

src/

Doc/

System/

Pure/

Tools/

rISABELLEcbb49fe8e5a2

NEWS

src/Doc/System/Sessions.thy

src/Pure/Tools/build.scala

src/Pure/Tools/build_job.scala

renamed "isabelle log" to "isabelle build_log";cbb49fe8e5a2Actions

Description

Details

Changes (4)

rISABELLEcbb49fe8e5a2

NEWS

src/Doc/System/Sessions.thy

src/Pure/Tools/build.scala

src/Pure/Tools/build_job.scala

renamed "isabelle log" to "isabelle build_log";
cbb49fe8e5a2
Actions