Thread View: comp.specification
1 messages
1 total messages
Started by Andrew Harry
Tue, 13 Oct 1992 14:55
Microsoft Word VDM character set
Author: Andrew Harry
Date: Tue, 13 Oct 1992 14:55
Date: Tue, 13 Oct 1992 14:55
19 lines
1211 bytes
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
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads