Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more symbols;
  2. symbol interpretation for \<circle>;
  3. update due to fontforge save operation;
  4. moved getopts to Scala;
  5. moved getopts to Scala;
Changeset 62441:e5e38e1f2dd4 by wenzelm:
more symbols;
The file was modified src/HOL/HOLCF/IOA/Abstraction.thy (diff)
The file was modified src/HOL/HOLCF/IOA/TL.thy (diff)
The file was modified src/HOL/HOLCF/IOA/TLS.thy (diff)
Changeset 62440:31fa592761da by wenzelm:
symbol interpretation for \&lt;circle&gt;;
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)
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 62439:2c01beb70cfb by wenzelm:
update due to fontforge save operation;
The file was modified lib/fonts/IsabelleText.sfd (diff)
Changeset 62438:42e13a4f52f5 by wenzelm:
moved getopts to Scala;
The file was modified lib/Tools/doc (diff)
The file was modified src/Pure/Tools/doc.scala (diff)
Changeset 62437:bccad0374407 by wenzelm:
moved getopts to Scala;
The file was modified lib/Tools/options (diff)
The file was modified src/Pure/System/options.scala (diff)