home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / archives / 3814 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  7.5 KB
  1. Path: sparky!uunet!enterpoop.mit.edu!snorkelwacker.mit.edu!stanford.edu!agate!usenet
  2. From: kondoh@harl.hitachi.CO.JP (Hidetaka Kondoh)
  3. Newsgroups: comp.archives
  4. Subject: [comp.theory] New Version of TeX-ed Prof. Plotkin's "Domains" Available
  5. Followup-To: comp.theory
  6. Date: 20 Dec 1992 20:57:04 GMT
  7. Organization: Advanced Research Laboratory, Hitachi, Ltd
  8. Lines: 205
  9. Sender: adam@soda
  10. Approved: adam@soda
  11. Distribution: world
  12. Message-ID: <1h2mn0INN71o@agate.berkeley.edu>
  13. References: <KONDOH.92Nov30135751@harlgw92.harl.hitachi.CO.JP>
  14. NNTP-Posting-Host: soda.berkeley.edu
  15. X-Original-Newsgroups: comp.theory,comp.lang.functional
  16. X-Original-Date: 30 Nov 92 04:57:51 GMT
  17.  
  18. Archive-name: auto/comp.theory/New-Version-of-TeX-ed-Prof-Plotkin-s-Domains-Available
  19.  
  20. Dear Colleagues,
  21.  
  22.  
  23. The new version of the TeX-ed edition of Professor Plotkin's
  24. course notes "Domains" becomes available.
  25.  
  26.  
  27. How to Obtain & In What Form
  28. ============================
  29.  
  30. This version is distributed by ftp from
  31.  1) MIT (by the courtesy of David Wald):
  32.      Size:   A4 and US letter 
  33.              (the later size is made by David Wald).
  34.      Format: dvi and PS (300 dpi).
  35.      Fonts:  AmS font "msam10" is used.
  36.      Note:   mail server is also supported.
  37.  
  38.  2) Tokyo Institute of Tech. (by the courtesy of Yutaka Kikuchi):
  39.      Size:   A4.
  40.      Format: dvi and PS (300 and 400 dpi).
  41.      Fonts:  AmS font "msam10" is used.
  42.  
  43.  3) Univ. des Saarlandes (by the courtesy of Ralf Treinen):
  44.      Size:   A4.
  45.      Format: dvi.
  46.      Fonts:  without AmS fonts.
  47.  
  48. You can also obtain the list of corrections to the first version
  49. from these sites.  (It is same as that we have resently sent 
  50. readers who directly requested the first version to us.)
  51.  
  52. Detailed information for ftp is attached at the end of this mail.
  53.  
  54.  
  55. To Readers
  56. ==========
  57.  
  58. We wish to continue to maintain this TeX-ed edition
  59. and to send readers further information on found misprints 
  60. (we hope there isn't, but there still must remain some!).
  61.  
  62. So please send a mail with the subject line
  63.  
  64.      Subject: I have Domains
  65.  
  66. to the following address
  67.  
  68.      To: kondoh@harl.hitachi.co.jp
  69.  
  70. if you did not obtain the first version (June/92 version) directly
  71. from us. (If you obtained it from us, we recorded you and you need not
  72. to send this registration mail.)
  73.  
  74. (If you obtained the first version directly from us but have not received
  75. the errata from us yet, please apologise us for our mistakes.)
  76.  
  77.  
  78. Acknowledgements
  79. ================
  80.  
  81. First of all, we wish to express their deepest thanks to 
  82. Prof. Plotkin for his warm encouragements and his generous permission 
  83. to the distribution of this TeX edition.
  84. We also wish to acknowledge (in alphabetical order) 
  85. Yutaka Kikuchi at Tokyo Institute of Technology, 
  86. Ralf Treinen at Univ. des Saarlandes, and
  87. David Wald at Massachusetts Institute of Technology
  88. for supporting ftp services of the TeX edition, 
  89. which substantially decreased the editors' efforts 
  90. required for the distribution, and without their supports,
  91. the number of people accessible to this TeX edition would be 
  92. significantly less than as it is, and David Wald also have
  93. repositioned the dvi file of the TeX edition in A4 size 
  94. so that it is appropriate for US letter-size papers.
  95.  
  96. Last but not least, we wish to sincerely thank 
  97. Professor John C. Mitchell, who informed them 
  98. that there remained many misspellings in the first version
  99. and strongly advised them to use some spell checker,
  100. and also have kindly spent his important time to pass the TeX source files
  101. to a spell-checker and told them the results with the original author's
  102. comments and directions concerning misspellings and several original 
  103. (British) spellings in the notes,
  104. and Marcelo Fiore at Univ. of Edinburgh 
  105. and Daisuke Suzuki at Univ. of Tokyo 
  106. for notifying them of many misprints.
  107.  
  108.  
  109. The editors,
  110.   Hidetaka Kondoh,
  111.   Yugo Kashiwagi
  112.  
  113.  
  114.  
  115.  
  116.                    #######################
  117.                    # Information for FTP #
  118.                    #######################
  119.  
  120.  
  121. ===================
  122. MIT (by David Wald):
  123. ===================
  124.  
  125. This file, Index, contains an index for the files available from
  126. theory.lcs.mit.edu in the directory pub/papers/Plotkin.  To request
  127. one of these files from the mail server, send mail to the address
  128. archive-server@theory.lcs.mit.edu with a line of the following form in
  129. the body:
  130.  
  131.                         send papers Plotkin/filename
  132.  
  133. For example, to retreive the file domains.dvi, you would say
  134.  
  135.                         send papers Plotkin/domains.dvi
  136.  
  137. Capitalization is important.  For more information on the
  138. archive-server, send a message containing only the word "help" in the
  139. body.  If you have any trouble using the archive server, send mail to
  140. archive-manager@theory.lcs.mit.edu.
  141.  
  142. To retrieve files from the archive via anonymous ftp, connect to
  143. theory.lcs.mit.edu (18.52.0.92) and log in with the username
  144. "anonymous."  When you are asked for a password, type in your email
  145. address.
  146.  
  147. A note on fonts: The dvi files domains.dvi and domains-lettersize.dvi
  148. make use of an AMS symbol font, "msam10".  You will need this font to
  149. print the dvi files completely.
  150.  
  151.  
  152. Index                    This file.
  153.  
  154. errata-92-06.dvi         Errata in the June 1992 version of
  155.                              domains.dvi which have been corrected in
  156.                              the November 1992 version.
  157.  
  158. errata-92-06.ps          The same, in PostScript format (optimal for
  159.                              300dpi Canon engine).
  160.  
  161. domains.dvi              Gordon Plotkin's course notes on domains,
  162.                              transcribed into TeX by Hidetaka Kondoh
  163.                              and Yugo Kashiwagi, as revised November
  164.                              1992.  This file is sized for A4 paper,
  165.                              or larger.  Also, see the note on fonts.
  166.  
  167. domains.ps               The same, in PostScript format (optimal for
  168.                              300dpi Canon engine).
  169.  
  170. domains-lettersize.dvi   same as domains.dvi, but repositioned to
  171.                              print on US letter size paper.  Again,
  172.                              see the note on fonts.
  173.  
  174. domains-lettersize.ps    The same, in PostScript format (optimal for
  175.                              300dpi Canon engine).
  176.  
  177.  
  178. ============================================
  179. Tokyo Institute of Tech. (by Yutaka Kikuchi):
  180. ============================================
  181.  
  182. Professor Gordon Plotkin's course note "Domains", which has now been 
  183. an indispensable source for researchers/students in Domain Theory.
  184. TeX-ed by KASHIWAGI,Yugo-san and KONDOH,Hidetaka-san
  185. at Hitachi Advanced Research Laboratory.
  186.  
  187.  
  188. The directory has the following files.
  189.  
  190. domains.dvi.Z        DVI of Plotkin's domain theory
  191. domains.300.ps.Z    PostScript file for 300dpi (e.g. Apple LaserWriter)
  192. domains.400.ps.Z    PostScript file for 400dpi (e.g. NeXT printer)
  193.  
  194. errata-92-06.dvi.Z    DVI of Errata for old version
  195. errata-92-06.300.ps.Z    PostScript file for 300dpi (e.g. Apple LaserWriter)
  196. errata-92-06.400.ps.Z    PostScript file for 400dpi (e.g. NeXT printer)
  197.  
  198.  
  199. Note:
  200. 1. The all files are for A4 size. MIT is going to be ready for US letter size.
  201. 2. The DVI files use the AmSTeX font `msam10'.
  202.  
  203.  
  204. If you have a trouble about the distribution,
  205. please mail to `kikuchi@cs.titech.ac.jp'. Thank you.
  206.  
  207.  
  208. ======================================
  209. Univ. des Saarlandes (by Ralf Treinen):
  210. ======================================
  211.  
  212. server:    duck.dfki.uni-sb.de [134.96.188.92]
  213. directory: pub/papers/PlotkinDomainNotes
  214. files:       Domains_Nov92_NoAMS.dvi.Z
  215.        Errata_of_June92.dvi.Z
  216.  
  217. --
  218. Hidetaka KONDOH (kondoh@harl.hitachi.co.jp)    Advanced Research Laboratory
  219.                         Hitachi, Ltd.
  220. Voice: +81-492-96-6111/6112 (Ext. 6328)        Hatoyama, Saitama  350-03
  221. Fax:   +81-492-96-6005                JAPAN
  222.  
  223.