Diffusion Isabelle ce22e5c3d4ce

more robust display of bidirectional Unicode text: enforce left-to-right;
ce22e5c3d4ce
Actions

Tags

None

Subscribers

None

Description

more robust display of bidirectional Unicode text: enforce left-to-right;

Details

Provenance

Authored on

Parents

rISABELLE1948d555a55a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE6e43936f2111: more ambitious use of AttributedString (despite be825a69fc67, which was for….Jun 25 2021, 10:06 PM

Changes (5)

Path

Size

etc/

src/

HOL/

ex/

Pure/

General/

Tools/

Graphview/

jEdit/

src/

rich_text_area.scala

rISABELLEce22e5c3d4ce

etc/isabelle.css

Loading...

src/HOL/ex/Hebrew.thy

Loading...

src/Pure/General/word.scala

Loading...

src/Tools/Graphview/shapes.scala

Loading...

src/Tools/jEdit/src/rich_text_area.scala

Loading...