Diffusion Isabelle 3d0952893db8

proper build of required session images vs. build with Mirabelle presentation;
3d0952893db8
Actions

Tags

None

Subscribers

None

Description

proper build of required session images vs. build with Mirabelle presentation;

Details

Provenance

Authored on

Parents

rISABELLE0e7a5c7a14c8: reactive "sledgehammer";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3d0952893db8: proper build of required session images vs. build with Mirabelle presentation;.May 15 2021, 10:36 PM

makarius mentioned this in rISABELLEe67c951f1c18: removed pointless option (see 3d0952893db8);.Jun 5 2021, 12:24 AM

Changes (1)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

rISABELLE3d0952893db8

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...