Diffusion Isabelle 09c850e82258

more robust pretty printing of broken YXML, e.g. single "\^E";
09c850e82258
Actions

Tags

None

Subscribers

None

Description

more robust pretty printing of broken YXML, e.g. single "\^E";

Details

Provenance

Authored on

Parents

rISABELLE35b2d407e558: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE09c850e82258: more robust pretty printing of broken YXML, e.g. single "\^E";.Feb 18 2020, 3:40 PM

Changes (2)

Path

Size

src/

Pure/

ML/

PIDE/

rISABELLE09c850e82258

src/Pure/ML/ml_syntax.ML

Loading...

src/Pure/PIDE/yxml.ML

Loading...