Diffusion Isabelle 626fcaebd049

NEWS and documentation for "isabelle log";
626fcaebd049
Actions

Tags

None

Subscribers

None

Description

NEWS and documentation for "isabelle log";

Details

Provenance

Authored on

Parents

rISABELLE847c6fb05a21: clarified messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE626fcaebd049: NEWS and documentation for "isabelle log";.Dec 10 2020, 6:38 PM

Changes (3)

Path

Size

src/

Doc/

System/

Pure/

Tools/

build_job.scala

rISABELLE626fcaebd049

NEWS

Loading...

src/Doc/System/Sessions.thy

Loading...

src/Pure/Tools/build_job.scala

Loading...