Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proofs;
  2. clarified rendering;
  3. tuned;
Changeset 65151:a7394aa4d21c by wenzelm:
tuned proofs;
The file was modified src/HOL/Library/Lattice_Algebras.thy (diff)
Changeset 65150:fa299b4e50c3 by wenzelm:
clarified rendering;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 65149:9dccbebf4511 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala (diff)