alastair@comp.lancs.ac.uk (Alastair Macartney) (11/08/90)
Hello, I am writing on behalf of an undergraduate here at Lancaster who doesn't have access to the net. He is doing a final year project concerning the animation of Z specifications in Prolog. As such he would be keen to have the facility to write these specs in his report which is being done in Latex. Does anyone have any such fonts available or any pointers to where we can get hold of Latex macros etc. Many thanks in advance Alastair Alastair Macartney Department of Computing phone: (+44) 524 65201 ext. 3111 Lancaster University e-mail: alastair@uk.ac.lancs.comp Bailrigg fax: (+44) 524 381707 Lancaster LA1 4YR