Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for construction of Isabelle fonts;
  2. tuned error; tuned;
  3. support for fontforge and its scripting language;
  4. tuned;
  5. tuned;
  6. removed legacy input syntax
  7. avoid compound operator
Changeset 69330:6a33b12f8573 by wenzelm:
support for construction of Isabelle fonts;
The file was addedsrc/Pure/Tools/isabelle_fonts.scala
The file was modified src/Pure/build-jars (diff)
Changeset 69329:8bbde4dba926 by wenzelm:
tuned error;<br>tuned;
The file was modified src/Pure/Tools/fontforge.scala (diff)
Changeset 69328:4646fcb59121 by wenzelm:
support for fontforge and its scripting language;
The file was addedsrc/Pure/Tools/fontforge.scala
The file was modified etc/settings (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 69327:264b44dce6be by wenzelm:
tuned;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 69326:600df66ac561 by wenzelm:
tuned;
The file was modified src/Pure/build-jars (diff)
Changeset 69325:4b6ddc5989fc by haftmann:
removed legacy input syntax
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Caratheodory.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Improper_Integral.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Decision_Procs/MIR.thy (diff)
The file was modified src/HOL/Library/Countable_Set_Type.thy (diff)
The file was modified src/HOL/Library/Set_Idioms.thy (diff)
The file was modified src/HOL/Probability/Independent_Family.thy (diff)
The file was modified src/HOL/UNITY/Comp/Alloc.thy (diff)
The file was modified src/HOL/UNITY/Comp/AllocImpl.thy (diff)
Changeset 69324:39ba40eb2150 by haftmann:
avoid compound operator
The file was modified src/HOL/Library/Countable_Set_Type.thy (diff)