Media Type 'text/vnd.latex-z' Details

Media Type 'text/vnd.latex-z' Details


Basic Info
Media Type text
subtype vnd.latex-z
Registered? Yes
See also Lubos
Extensions

Tags: (none)

File Formats: (none)

Details


From [email protected]  Mon Oct  7 17:27:32 1996
From: Mikusiak Lubos <[email protected]>
To: "'[email protected]'" <[email protected]>
Subject: Registration of new MIME content-type/subtype
Date: Mon, 7 Oct 1996 16:27:32 +0100
Content-Length: 1313
Status: RO
X-Lines: 55

To whom it may concern:

I want to ask you to register a new MIME subtype for the content type
"text". The subtype name is "latex-z".

The reason why I apply for registering the subtype is that I wrote a
Netscape Navigator plug-in (Z Browser Plug-in) which displays parts
LaTeX documents with formal specifications in the Z notation. 

Z noation is a notation for writing formal specifications of programs.
There have been special LaTeX styles (fuzz.sty and zed.sty) defined for
typesetting mathematical text written in the Z notation. Z Browser
Plug-in displays this text.


Lubos Mikusiak
Intergraph SR
Matejkova 20
84105 Bratislava
Slovak Republic

e-mail: [email protected]

------------------------------------------

MIME type name:
    text

MIME subtype name:
    latex-z

Required parameters:
    none

Optional parameters:
    none

Encoding considerations:
    none

Security considerations:
    none

Published specification:
    The definition of the Z notation can be found in:
    J.M.Spivey: The Z Notation, A Reference Manual 2nd edition, Prentice
Hall International, 1992

    Information on zed.sty can be found in:
    ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zguide.tex.Z

    The best starting spot for information on the Z notation on the WWW
is:
    http://www.comlab.ox.ac.uk/archive/z.html


From [email protected]  Mon Oct  7 17:27:32 1996
From: Mikusiak Lubos <[email protected]>
To: "'[email protected]'" <[email protected]>
Subject: Registration of new MIME content-type/subtype
Date: Mon, 7 Oct 1996 16:27:32 +0100
Content-Length: 1313
Status: RO
X-Lines: 55

To whom it may concern:

I want to ask you to register a new MIME subtype for the content type
"text". The subtype name is "latex-z".

The reason why I apply for registering the subtype is that I wrote a
Netscape Navigator plug-in (Z Browser Plug-in) which displays parts
LaTeX documents with formal specifications in the Z notation. 

Z noation is a notation for writing formal specifications of programs.
There have been special LaTeX styles (fuzz.sty and zed.sty) defined for
typesetting mathematical text written in the Z notation. Z Browser
Plug-in displays this text.


Lubos Mikusiak
Intergraph SR
Matejkova 20
84105 Bratislava
Slovak Republic

e-mail: [email protected]

------------------------------------------

MIME type name:
    text

MIME subtype name:
    latex-z

Required parameters:
    none

Optional parameters:
    none

Encoding considerations:
    none

Security considerations:
    none

Published specification:
    The definition of the Z notation can be found in:
    J.M.Spivey: The Z Notation, A Reference Manual 2nd edition, Prentice
Hall International, 1992

    Information on zed.sty can be found in:
    ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zguide.tex.Z

    The best starting spot for information on the Z notation on the WWW
is:
    http://www.comlab.ox.ac.uk/archive/z.html