Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. publish component;
  2. further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster;
  3. clarified \<Zcomp> (small) vs. \<Zsemi> (big);
  4. more CONTRIBUTORS;
  5. more Z_Notation symbols, as proposed by Simon Foster; some LaTeX-art based on tex.stackexchange "How do you make a square element symbol (\in)";
Changeset 73458:53e5d0c412b6 by wenzelm:
publish component;
The file was modified Admin/components/components.sha1 (diff)
Changeset 73457:3ede182a479a by wenzelm:
further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster;
The file was modified Admin/components/main (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbols.sfd (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd (diff)
The file was modified Admin/isabelle_fonts/README (diff)
The file was modified etc/symbols (diff)
Changeset 73456:0cc9c2d43957 by wenzelm:
clarified \&lt;Zcomp&gt; (small) vs. \&lt;Zsemi&gt; (big);
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 73455:b134f9dbe4b7 by wenzelm:
more CONTRIBUTORS;
The file was modified CONTRIBUTORS (diff)
Changeset 73454:a9e0fae0107d by wenzelm:
more Z_Notation symbols, as proposed by Simon Foster;<br>some LaTeX-art based on tex.stackexchange &quot;How do you make a square element symbol (\in)&quot;;
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)