Diffusion Isabelle 00399e5a6e50

proper argument --- amending 908d8be90533;
00399e5a6e50
Actions

Tags

None

Subscribers

None

Description

proper argument --- amending 908d8be90533;

Details

Provenance

Authored on

Parents

rISABELLE82570cae3cc2: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE00399e5a6e50: proper argument --- amending 908d8be90533;.Dec 13 2020, 11:06 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rendering.scala

rISABELLE00399e5a6e50

src/Pure/PIDE/rendering.scala

Loading...