Microsoft Word VDM character set

Article View: comp.specification

Article #270

Back to comp.specification Previous Next

#270

From: Andrew Harry
Date: Tue, 13 Oct 1992 14:55

19 lines
1211 bytes

I recently saw an enquiry asking whether there was a character set for Microsoft Word 5.5 for the formal specification language Z. 

Whilst we do not have a Z character set, our group has been involved in developing one for the formal language VDM capable of being used on Microsoft Word. This is now ready and we are thinking of marketing it on a commercial basis for a small cost. 

We would like to hear from anyone interested in obtaining the character set.




Andrew Harry (Scientific officer)
Data Security Group,
National Physical Laboratory,
Queens Road,
Teddington,
Middlesex, TW11 0LW,
ENGLAND

Tel: +4481 943 7009
Fax: +4481 977 7091

Technical Details

Message-ID: <1992Oct13.145503.12121@nplpsg.uucp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!darwin.sura.net!Sirius.dfn.de!news.DKRZ-Hamburg.DE!rzsun2.informatik.uni-hamburg.de!Germany.EU.net!mcsun!uknet!nplpsg!ach

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!darwin.sura.net!Sirius.dfn.de!news.DKRZ-Hamburg.DE!rzsun2.informatik.uni-hamburg.de!Germany.EU.net!mcsun!uknet!nplpsg!ach
From: ach@dsg.npl.co.uk (Andrew Harry)
Newsgroups: comp.specification,comp.software-eng
Subject: Microsoft Word VDM character set
Keywords: VDM, Microsoft Word
Message-ID: <1992Oct13.145503.12121@nplpsg.uucp>
Date: 13 Oct 92 14:55:03 GMT
Sender: ach@nplpsg.uucp (Andrew Harry)
Distribution: eunet
Organization: National Physical Laboratory, UK
Lines: 19