Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more line spacing, notably for ttfautohint (see 4791988fcbc4);
  2. more compact representation: approx. factor 2;
  3. more scalable on 32-bit Poly/ML;
  4. clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
  5. tuned;
Changeset 69847:a12d2eb58aca by wenzelm:
more line spacing, notably for ttfautohint (see 4791988fcbc4);
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69846:e02e3763e7a4 by wenzelm:
more compact representation: approx. factor 2;
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 69845:d28e8199dcb9 by wenzelm:
more scalable on 32-bit Poly/ML;
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/yxml.ML (diff)
Changeset 69844:b21ddfa7042b by wenzelm:
clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
The file was modified src/Pure/PIDE/document_status.scala (diff)
Changeset 69843:edda2d14c108 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/headless.scala (diff)