Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less redundant;
  2. more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
  3. more robust treatment of conflicts with existing Unicode text;
  4. tuned whitespace;
Changeset 67306:897344e33c26 by wenzelm:
less redundant;
The file was modified src/Pure/Thy/html.ML (diff)
Changeset 67305:ecb74607063f by wenzelm:
more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified etc/symbols (diff)
The file was modified lib/fonts/IsabelleText.sfd (diff)
The file was modified lib/fonts/IsabelleTextBold.sfd (diff)
Changeset 67304:3cf05d7cf174 by wenzelm:
more robust treatment of conflicts with existing Unicode text;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/jEdit/src-base/isabelle_encoding.scala (diff)
Changeset 67303:a77c0dd8bb7c by wenzelm:
tuned whitespace;
The file was modified NEWS (diff)