Summary
- clarified check_sources;
- obsolete (see 1d977436c1bf);
- more robust display of bidirectional Unicode text: enforce left-to-right;
The file was added | lib/Tools/check_sources |
The file was modified | src/Pure/Tools/check_sources.scala (diff) |
The file was removed | Admin/lib/Tools/check_sources |
The file was modified | etc/isabelle.css (diff) |
The file was modified | etc/isabelle.css (diff) |
The file was modified | src/HOL/ex/Hebrew.thy (diff) |
The file was modified | src/Pure/General/word.scala (diff) |
The file was modified | src/Tools/Graphview/shapes.scala (diff) |
The file was modified | src/Tools/jEdit/src/rich_text_area.scala (diff) |