home *** CD-ROM | disk | FTP | other *** search
/ Arawak OS/2 Shareware / PAKLED.ISO / docs / zemtex11.doc < prev   
Encoding:
Text File  |  1993-10-29  |  6.8 KB  |  204 lines
  1.  
  2.                Documentation on Using Z with EMTEX LaTex
  3.                -----------------------------------------
  4.                        Version 1.1 28 May 1993
  5.  
  6.  
  7.  
  8.                               Introduction
  9.                               ------------
  10.  
  11. There are numerous macros available for extending LaTex to set Z and
  12. other predicate calculus documents. The file 'oz.tex' by Paul King is
  13. very good and demonstrates what can be done. It also incorporates the
  14. Object-Z extensions by the University of Queenland.
  15.  
  16. I had a problem with fonts when I tried to run 'oz.tex'. Speaking to
  17. others, it seems this is common with would-be users.
  18. I am running emtex on a PC, either in a DOS session with extended
  19. environment space within OS/2 2.0, or in an OS/2 text screen.
  20. I discovered that some fonts are available on Internet (if you know what
  21. you need) for immediate use; others have to be massaged before use.
  22. I now have a set which works.
  23.  
  24. There are two sets of fonts needed. The former is used to translate from
  25. a '.tex' file to a '.dvi' file. A different set is needed to generate a
  26. printer file from the '.dvi' file. I have constructed a font library for
  27. the hp laser jet printer. You will need another version of the second
  28. set if you are not using a laser jet printer.
  29.  
  30. To save others from spending lots of hours on setting up their systems,
  31. here is a description of what to do.
  32.  
  33.  
  34.  
  35.                       Differences from Version 1.0
  36.                       ----------------------------
  37.  
  38. Version 1.0 was written for emTeX version of late 1990. Since then,
  39. another version has been released, in late 1992. The files for my
  40. version 1.0 were not all useable with the 1992 release. Specifically,
  41. the problem was with the fli file. This has been rectified by changing
  42. the name 'amsz.fli' to lj_amsz.fli'.
  43.  
  44. A change to the calling of libraries in config files has required the
  45. addition of another config file. To distinguish between the two
  46. versions, I have added the year to the file name. Now there is an
  47. 'lj1990.cnf' file and an 'lj1992.cnf' file.
  48.  
  49.  
  50.  
  51.                             Associated Files
  52.                             ----------------
  53.  
  54. You should have the following associated files:
  55.  
  56.     texinput.zip
  57.         This contains style additions to the texinput directory.
  58.         The files are oz.sty and 3column.sty. The latter is the normal
  59.         'threecolumn.sty' with a name change as mentioned below.
  60.  
  61.     tfm.zip
  62.         This contains additional fonts in tfm format. These are used to
  63.         produce the '.dvi' files.
  64.  
  65.     lj_amsz.fli
  66.         This is a font library for producing laser jet output from the
  67.         '.dvi' files. (In my version 1.0, this was known as 'amsz.fli').
  68.  
  69.     lj1990.cnf
  70.     lj1992.cnf
  71.         These are two versions of the (modified) configuration file used
  72.         by 'dvihplj'. The file 'lj1990.cnf' is for the 1990 version of
  73.         emTeX; the file 'lj1992.cnf' is for the 1992 version of emTeX.
  74.         Select the appropriate one for your system and either use it as
  75.         a template for modifications to your own, or use it in place of
  76.         your existing. To use either unchanged, do a
  77.         "copy a:lj1990.cnf c:\emtex\lj.cnf /v"
  78.         or
  79.         "copy a:lj1992.cnf c:\emtex\lj.cnf /v"
  80.         Of course, you adjust the source and destination drives and
  81.         destination directory to suit your own preferences. The examples
  82.         are guides.
  83.  
  84.     oz.tex
  85.         This is a tutorial on using LaTex for Z and test document. This
  86.         version has 'threecolumn' changed to '3column'.
  87.  
  88.  
  89.  
  90.                                Setting Up
  91.                                ----------
  92.  
  93. 1. To produce a dvi file:
  94. -------------------------
  95.  
  96.  
  97. a) Load the style files.
  98.  
  99. Unzip 'oz.sty' and '3column.sty' from 'texinput.zip'.
  100. Use 'pkunzip a:texinput' or 'unzip a:texinput'.
  101. Copy 'oz.sty' and '3column.sty' into the directory used for 'texinput'
  102. styles etc. On emtex, this defaults on installation to '\emtex\texinput'.
  103. It should contain files like 'article.sty' and 'book.sty'.
  104.  
  105. Note that on the Internet, '3column.sty' is 'threecolumn.sty'.
  106. I changed the name for PC FAT file system use. For the same reason, in
  107. 'oz.tex', I changed the reference to 'threecolumn' to '3column'.
  108.  
  109. You can do this process in one step. If the zip file is on drive A:,
  110.     cd \emtex\texinput
  111.     pkunzip a:texinput
  112. will extract the files into the correct directory.
  113.  
  114.  
  115.  
  116. b) Load the dvi fonts.
  117.  
  118. To set up the fonts for the dvi genertion phase, copy the contents of
  119. the 'tfm.zip' file into the directory for '.tfm' files.
  120. With emtex, this defaults on installation to 'emtex\tfm'.
  121. Again, in one step, if the zip file is on drive A:,
  122.     cd \emtex\tfm
  123.     a:pkunzip a:tfm
  124. will extract the files into the working directory.
  125.  
  126.  
  127.  
  128. Now you can run 'latex oz' to generate from 'oz.tex' a file 'oz.dvi'.
  129.  
  130.  
  131.  
  132.  
  133.  
  134. 2. To produce laser jet output:
  135. -------------------------------
  136.  
  137.  
  138. a) Copy the font library.
  139.  
  140. The font library is stored with other '.fli' files in a directory set by
  141. the environment variable 'DVIDRVFONTS'. This value is set when
  142. an initialization batch file is run. The default file is 'set-tex.bat'
  143. for DOS or 'set-tex.cmd' for OS/2, and the default value of
  144. 'DVIDRVFONTS' is 'c:\texfonts'. To check your current setting, enter
  145. 'set' after normal initialization.
  146.  
  147. Find the directory and copy the library 'lj_amsz.fli' into it.
  148. (NB: In version 1.0 of this file, the file name was 'amsz.fli'. I have
  149. changed the name, but not the contents. If you have already installed
  150. the earlier file, you need only to change the name.)
  151.  
  152. I created this library using fontlib and fonts from the AMS ftp server.
  153. The name means AMS symbols for Z.
  154.  
  155.  
  156.  
  157. b) Modify the configuration file 'lj.cnf'.
  158.  
  159. This file is used by the program 'dvihplj'. The change is on the line
  160. where the value '/pl' is set.
  161.  
  162. If you are using the 1990 version of emTeX,
  163. append ';lj_amsz' to the line so this library will be searched too.
  164. Refer to the sample file 'lj1990.cnf'.
  165.  
  166. If you are running the 1992 version of emTeX,
  167. add the name by changing the line
  168. '/pl=$DVIDRVFONTS:lj_{0,h,1,2,3,4,5a,5b,sli}'
  169. to the line
  170. '/pl=$DVIDRVFONTS:lj_{0,h,1,2,3,4,5a,5b,sli,amsz}'
  171. Refer to the sample file 'lj1992.cnf'.
  172.  
  173. Alternatively, copy the modified version from my distribution package.
  174. If you are using the 1990 version of emTeX, do a
  175. 'copy a:lj1990.cnf c:\emtex\lj.cnf /v'
  176. or, if you are using the 1992 version, do a
  177. 'copy a:lj1992.cnf c:\emtex\lj.cnf /v'
  178. (See also the note above in 'Associated Files'.)
  179.  
  180.  
  181.  
  182. Now you can run 'dvihplj @lj.cnf <dvi file>'.
  183.  
  184. When dvihplj is loading fonts, there are some warning messages about wrong
  185. magnification. The output seems to be ok so these probably need not
  186. trouble you.
  187.  
  188.  
  189. ------------------------------------------------------
  190.  
  191. Selwyn Russell
  192. Information Security Research Centre
  193. Faculty of Information Technology
  194. Queensland University of Technology
  195. 2 George Street
  196. Brisbane 4000
  197. Australia
  198.  
  199. Telephone: +61 7 864 1619
  200. Fax:  +61 7 221 2384
  201. Internet: selwyn@fitmail.qut.edu.au
  202.  
  203.  
  204.