Diffusion Isabelle f33e7d80aace

proper language context;
f33e7d80aace
Actions

Tags

None

Subscribers

None

Description

proper language context;

Details

Provenance

Authored on

Parents

rISABELLE5ba8cb258e75: proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf33e7d80aace: proper language context;.Jan 14 2023, 10:24 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Tools/

rISABELLEf33e7d80aace

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Tools/update.scala

Loading...