Recent changes to Sample

Sample modified by Martin Hofmann

Martin Hofmann — Sun, 09 Feb 2014 17:28:49 -0000

--- v2
+++ v3
@@ -2,6 +2,8 @@
 =======================================

 Here is a sample Z schema from M. Spivey's [Z Reference Manual][zrm]. (Depending on the fonts selected and available in your browser, some characters may be missing in the rendered page. Try for example the *DejaVu* fonts, which have a considerable supply of Unicode glyphs. The Windows font *Cambria* is a also a good choice.).
+
+The generated HTML renders imperfectly here because some HTML `style` attribute values apparently get removed by the *SourceForge* Wiki implementation (eg the Schema name sits *above* the horizontal rule as a consequence of this).

 [zrm]:http://spivey.oriel.ox.ac.uk/~mike/zrm/

Sample modified by Martin Hofmann

Martin Hofmann — Sun, 09 Feb 2014 17:23:36 -0000

--- v1
+++ v2
@@ -1,7 +1,7 @@
 Sample HTML schema generated by `zhtml`
 =======================================

-Here is a sample Z schema from M. Spivey's [Z Reference Manual][zrm]. (Depending on the fonts selected and available in your browser, some characters may be missing in the rendered page. Try for example the `DejaVu` fonts, they have a considerable supply of Unicode glyphs).
+Here is a sample Z schema from M. Spivey's [Z Reference Manual][zrm]. (Depending on the fonts selected and available in your browser, some characters may be missing in the rendered page. Try for example the *DejaVu* fonts, which have a considerable supply of Unicode glyphs. The Windows font *Cambria* is a also a good choice.).

 [zrm]:http://spivey.oriel.ox.ac.uk/~mike/zrm/

Sample modified by Martin Hofmann

Martin Hofmann — Sun, 09 Feb 2014 07:35:48 -0000

Sample HTML schema generated by `zhtml`

Here is a sample Z schema from M. Spivey's Z Reference Manual. (Depending on the fonts selected and available in your browser, some characters may be missing in the rendered page. Try for example the DejaVu fonts, they have a considerable supply of Unicode glyphs).

AddBirthday
ΔBirthdayBook
name? : NAME
date? : DATE

name? ∉ known

birthday′ = birthday ∪ {name? ↦ date?}

This was generated by zhtml from the source text:

+-- AddBirthday ---
    Delta%BirthdayBook
    name? : NAME
    date? : DATE
|--
    name? /e known

    birthday' = birthday u {name? |--> date?}
---

And the output from zhtml -my sample.txt was then pasted into this Wiki.

Recent changes to Sample

Sample modified by Martin Hofmann

Sample modified by Martin Hofmann

Sample modified by Martin Hofmann

Sample HTML schema generated by zhtml

Sample HTML schema generated by `zhtml`