Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper name;
  2. more Isabelle fonts, notably for File Browser title in GTK L&F;
  3. eliminated deprecated scala.collection.JavaConversions;
  4. unused;
  5. tuned -- more direct java.util.Map.of;
  6. added lemma
Changeset 71361:21a41356d78f by wenzelm:
proper name;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 71360:fcf5ee85743d by wenzelm:
more Isabelle fonts, notably for File Browser title in GTK L&F;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 71359:411c0322c09d by wenzelm:
eliminated deprecated scala.collection.JavaConversions;
The file was modified src/Pure/General/file_watcher.scala (diff)
The file was modified src/Pure/System/isabelle_charset.scala (diff)
The file was modified src/Tools/jEdit/src/keymap_merge.scala (diff)
Changeset 71358:ec48da635e6c by wenzelm:
unused;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 71357:7f2cd237ee4f by wenzelm:
tuned -- more direct java.util.Map.of;
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 71356:ce45299cce44 by nipkow:
added lemma
The file was modified src/HOL/Groups_Big.thy (diff)