Diffusion Isabelle 7e1a72af970b

tuned: avoid warning in IntelliJ IDEA;
7e1a72af970b
Actions

Tags

None

Subscribers

None

Description

tuned: avoid warning in IntelliJ IDEA;

Details

Provenance

Authored on

Parents

rISABELLE40a365360680: more accurate outer syntax keywords (see also 94b2690ad494): base session could…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7e1a72af970b: tuned: avoid warning in IntelliJ IDEA;.Nov 2 2022, 4:13 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE7e1a72af970b

src/Pure/PIDE/session.scala

Loading...