Diffusion Isabelle aa3d4cf7825a

clarified signature: no symbol markup within XML attributes;
aa3d4cf7825a
Actions

Tags

None

Subscribers

None

Description

clarified signature: no symbol markup within XML attributes;

Details

Provenance

Authored on

Parents

rISABELLE9c10b4fa17b5: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaa3d4cf7825a: clarified signature: no symbol markup within XML attributes;.Jan 30 2021, 6:34 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Thy/

rISABELLEaa3d4cf7825a

src/Pure/PIDE/xml.scala

Loading...

src/Pure/Thy/html.scala

Loading...