Diffusion Isabelle 7f2cd237ee4f

tuned -- more direct java.util.Map.of;
7f2cd237ee4f
Actions

Tags

None

Subscribers

None

Description

tuned -- more direct java.util.Map.of;

Details

Provenance

Authored on

Parents

rISABELLEce45299cce44: added lemma

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7f2cd237ee4f: tuned -- more direct java.util.Map.of;.Jan 9 2020, 1:39 PM

Changes (2)

Path

Size

src/

Pure/

GUI/

Tools/

jEdit/

src/

syntax_style.scala

rISABELLE7f2cd237ee4f

src/Pure/GUI/gui.scala

Loading...

src/Tools/jEdit/src/syntax_style.scala

Loading...