Summary
- more symbols;
- symbol interpretation for \<circle>;
- update due to fontforge save operation;
- moved getopts to Scala;
- moved getopts to Scala;
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) |
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) |
The file was modified | lib/fonts/IsabelleText.sfd (diff) |
The file was modified | lib/Tools/doc (diff) |
The file was modified | src/Pure/Tools/doc.scala (diff) |
The file was modified | lib/Tools/options (diff) |
The file was modified | src/Pure/System/options.scala (diff) |