Diffusion Isabelle aec0f7b58cc6

proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;
aec0f7b58cc6
Actions

Tags

None

Subscribers

None

Description

proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;

Details

Provenance

Authored on

Parents

rISABELLE65fd0f032a75: updated to jedit-5.6pre1 (repository version 25349);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaec0f7b58cc6: proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;.Jun 11 2020, 2:13 PM

makarius mentioned this in Blog Post: Update of Isabelle/jEdit to jedit-5.6pre1.Jun 11 2020, 2:57 PM

Changes (2)

Path

Size

src/

Pure/

General/

codepoint.scala

Tools/

jEdit/

src/

token_markup.scala

rISABELLEaec0f7b58cc6

src/Pure/General/codepoint.scala

Loading...

src/Tools/jEdit/src/token_markup.scala

Loading...