Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified check_sources;
  2. obsolete (see 1d977436c1bf);
  3. more robust display of bidirectional Unicode text: enforce left-to-right;
Changeset 62814:29ca4cdd998d by wenzelm:
clarified check_sources;
The file was addedlib/Tools/check_sources
The file was modified src/Pure/Tools/check_sources.scala (diff)
The file was removedAdmin/lib/Tools/check_sources
Changeset 62813:3e001fe6f16a by wenzelm:
obsolete (see 1d977436c1bf);
The file was modified etc/isabelle.css (diff)
Changeset 62812:ce22e5c3d4ce by wenzelm:
more robust display of bidirectional Unicode text: enforce left-to-right;
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)