Diffusion Isabelle 8bbadb065ebe

more robust, notably for "isabelle scala";
8bbadb065ebe
Actions

Tags

None

Subscribers

None

Description

more robust, notably for "isabelle scala";

Details

Provenance

Authored on

Parents

rISABELLE1330fa4a2b85: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8bbadb065ebe: more robust, notably for "isabelle scala";.May 22 2020, 12:18 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE8bbadb065ebe

src/Pure/System/scala.scala

Loading...