/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / specific / thread

< prev

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 71 02 00 00 7e 02 00 00 | 50 02 00 00 ac 01 00 00 |q...~...|P.......|
|00000010| 0d 00 0d 00 0d 00 0d 00 | 0c 00 00 00 01 00 01 00 |........|........|
|00000020| 01 00 01 00 01 00 01 00 | 01 00 01 00 01 00 01 00 |........|........|
|00000030| 01 00 01 00 01 00 50 65 | 74 65 72 20 47 6f 72 6d |......Pe|ter Gorm|
|00000040| 20 4c 61 72 73 65 00 4c | 65 6e 6e 61 72 74 20 41 | Larse.L|ennart A|
|00000050| 75 67 75 73 74 73 73 00 | 4c 75 74 7a 20 50 72 65 |ugustss.|Lutz Pre|
|00000060| 63 68 65 6c 74 00 43 6c | 69 66 66 20 42 20 4a 6f |chelt.Cl|iff B Jo|
|00000070| 6e 65 73 00 41 6e 6e 69 | 65 20 49 2e 20 41 6e 74 |nes.Anni|e I. Ant|
|00000080| 6f 6e 00 57 65 69 6d 69 | 6e 20 4d 61 00 4b 61 72 |on.Weimi|n Ma.Kar|
|00000090| 6c 69 73 20 43 65 72 61 | 6e 73 00 56 6f 72 6f 6e |lis Cera|ns.Voron|
|000000a0| 6b 6f 76 20 41 6e 64 72 | 65 69 00 54 69 6d 20 4c |kov Andr|ei.Tim L|
|000000b0| 69 64 64 65 6c 6f 77 00 | 47 61 72 79 20 50 75 74 |iddelow.|Gary Put|
|000000c0| 6c 6f 63 6b 00 4c 6f 75 | 69 73 20 4d 65 61 64 6f |lock.Lou|is Meado|
|000000d0| 77 73 00 54 68 6f 6d 61 | 73 20 4c 69 6e 64 6e 65 |ws.Thoma|s Lindne|
|000000e0| 72 00 50 61 6f 6c 6f 20 | 43 69 61 6e 63 61 72 69 |r.Paolo |Ciancari|
|000000f0| 6e 69 00 46 4d 45 27 39 | 33 20 43 61 6c 6c 20 46 |ni.FME'9|3 Call F|
|00000100| 6f 72 20 50 6f 73 74 65 | 72 73 00 55 6e 69 6e 74 |or Poste|rs.Unint|
|00000110| 65 72 70 72 65 74 65 64 | 20 6d 6f 64 65 6c 6c 69 |erpreted| modelli|
|00000120| 6e 67 20 73 79 73 74 65 | 6d 00 53 75 6d 6d 65 72 |ng syste|m.Summer|
|00000130| 20 53 63 68 6f 6f 6c 3a | 20 54 59 50 45 53 20 46 | School:| TYPES F|
|00000140| 4f 52 20 50 52 4f 4f 46 | 53 20 41 4e 44 20 50 52 |OR PROOF|S AND PR|
|00000150| 4f 47 52 41 4d 53 00 53 | 55 4d 4d 41 52 59 3a 20 |OGRAMS.S|UMMARY: |
|00000160| 55 4e 49 54 59 20 69 6d | 70 6c 65 6d 65 6e 74 61 |UNITY im|plementa|
|00000170| 74 69 6f 6e 73 00 48 69 | 73 74 6f 72 69 63 61 6c |tions.Hi|storical|
|00000180| 20 72 65 66 65 72 65 6e | 63 65 73 00 43 41 4c 4c | referen|ces.CALL|
|00000190| 20 46 4f 52 20 50 41 52 | 54 49 43 49 50 41 54 49 | FOR PAR|TICIPATI|
|000001a0| 4f 4e 00 53 70 65 63 69 | 66 69 63 61 74 69 6f 6e |ON.Speci|fication|
|000001b0| 73 20 69 6e 20 55 4e 49 | 54 59 00 43 43 49 54 54 |s in UNI|TY.CCITT|
|000001c0| 20 64 6f 63 75 6d 65 6e | 74 73 20 77 61 6e 74 65 | documen|ts wante|
|000001d0| 64 00 4c 50 41 52 39 33 | 20 64 65 61 64 6c 69 6e |d.LPAR93| deadlin|
|000001e0| 65 20 65 78 74 65 6e 73 | 69 6f 6e 00 53 44 4c 20 |e extens|ion.SDL |
|000001f0| 43 41 53 45 20 74 6f 6f | 6c 73 20 61 76 61 69 6c |CASE too|ls avail|
|00000200| 61 62 6c 65 20 3f 00 41 | 52 43 3a 49 6e 74 65 72 |able ?.A|RC:Inter|
|00000210| 73 68 61 6b 65 2f 49 6e | 74 65 72 6b 65 79 2f 49 |shake/In|terkey/I|
|00000220| 6e 74 65 72 76 69 65 77 | 2f 20 4d 61 6e 75 61 6c |nterview|/ Manual|
|00000230| 73 20 4e 65 65 64 65 64 | 2e 00 43 61 6c 6c 20 66 |s Needed|..Call f|
|00000240| 6f 72 20 65 78 70 65 72 | 69 65 6e 63 65 20 72 65 |or exper|ience re|
|00000250| 70 6f 72 74 73 3a 20 46 | 4d 20 61 70 70 6c 69 65 |ports: F|M applie|
|00000260| 64 20 74 6f 20 6c 61 72 | 67 65 2d 73 63 61 6c 65 |d to lar|ge-scale|
|00000270| 20 70 72 6f 6a 65 63 74 | 73 00 5a 20 61 6e 64 20 | project|s.Z and |
|00000280| 4c 61 72 63 68 00 01 00 | 01 00 01 00 01 00 01 00 |Larch...|........|
|00000290| 01 00 01 00 01 00 01 00 | 01 00 01 00 01 00 01 00 |........|........|
|000002a0| 71 02 00 00 00 00 01 00 | 01 00 00 00 7b 02 00 00 |q.......|....{...|
|000002b0| 01 00 01 00 01 00 00 00 | 72 02 00 00 02 00 01 00 |........|r.......|
|000002c0| 01 00 00 00 73 02 00 00 | 03 00 01 00 01 00 00 00 |....s...|........|
|000002d0| 75 02 00 00 04 00 01 00 | 01 00 00 00 76 02 00 00 |u.......|....v...|
|000002e0| 05 00 01 00 01 00 00 00 | 77 02 00 00 06 00 01 00 |........|w.......|
|000002f0| 01 00 00 00 78 02 00 00 | 07 00 01 00 01 00 00 00 |....x...|........|
|00000300| 79 02 00 00 08 00 01 00 | 01 00 00 00 7a 02 00 00 |y.......|....z...|
|00000310| 09 00 01 00 01 00 00 00 | 7c 02 00 00 0a 00 01 00 |........||.......|
|00000320| 01 00 00 00 7d 02 00 00 | 0b 00 01 00 01 00 00 00 |....}...|........|
|00000330| 7e 02 00 00 0c 00 01 00 | 01 00 00 00 71 02 00 00 |~.......|....q...|
|00000340| 49 b5 5e 2b 00 00 00 00 | 01 00 00 00 00 00 00 00 |I.^+....|........|
|00000350| 00 00 00 00 7b 02 00 00 | 1b bb 5e 2b 01 00 09 00 |....{...|..^+....|
|00000360| 01 00 00 00 00 00 00 00 | 00 00 01 00 72 02 00 00 |........|....r...|
|00000370| 0a c7 5e 2b 02 00 01 00 | 01 00 00 00 00 00 00 00 |..^+....|........|
|00000380| 00 00 02 00 73 02 00 00 | da 0b 60 2b 03 00 02 00 |....s...|..`+....|
|00000390| 05 00 00 00 00 00 00 00 | 00 00 03 00 75 02 00 00 |........|....u...|
|000003a0| 53 2d 60 2b 04 00 03 00 | 01 00 00 00 00 00 00 00 |S-`+....|........|
|000003b0| 00 00 04 00 76 02 00 00 | ef a3 60 2b 05 00 04 00 |....v...|..`+....|
|000003c0| 05 00 00 00 00 00 00 00 | 00 00 05 00 77 02 00 00 |........|....w...|
|000003d0| c5 d4 60 2b 06 00 05 00 | 01 00 00 00 00 00 00 00 |..`+....|........|
|000003e0| 00 00 06 00 78 02 00 00 | e1 48 61 2b 07 00 06 00 |....x...|.Ha+....|
|000003f0| 01 00 00 00 00 00 00 00 | 00 00 07 00 79 02 00 00 |........|....y...|
|00000400| 34 bd 61 2b 08 00 07 00 | 05 00 00 00 00 00 00 00 |4.a+....|........|
|00000410| 00 00 08 00 7a 02 00 00 | e5 30 62 2b 09 00 08 00 |....z...|.0b+....|
|00000420| 01 00 00 00 00 00 00 00 | 00 00 09 00 7c 02 00 00 |........|....|...|
|00000430| b3 39 64 2b 0a 00 0a 00 | 01 00 00 00 00 00 00 00 |.9d+....|........|
|00000440| 00 00 0a 00 7d 02 00 00 | fd 05 65 2b 0b 00 0b 00 |....}...|..e+....|
|00000450| 01 00 00 00 00 00 00 00 | 00 00 0b 00 7e 02 00 00 |........|....~...|
|00000460| c2 5c 65 2b 0c 00 0c 00 | 05 00 00 00 00 00 00 00 |.\e+....|........|
|00000470| 00 00 0c 00 63 73 2e 75 | 6e 69 62 6f 2e 69 74 00 |....cs.u|nibo.it.|
|00000480| 31 39 39 33 4a 61 6e 32 | 36 2e 31 35 34 36 31 30 |1993Jan2|6.154610|
|00000490| 2e 31 34 32 31 33 00 66 | 7a 69 2e 64 65 00 31 39 |.14213.f|zi.de.19|
|000004a0| 39 33 4a 61 6e 32 36 2e | 30 39 33 35 35 37 2e 31 |93Jan26.|093557.1|
|000004b0| 35 37 36 32 00 74 61 6e | 64 65 6d 2e 63 6f 6d 00 |5762.tan|dem.com.|
|000004c0| 31 39 39 33 4a 61 6e 32 | 35 2e 31 39 30 34 31 39 |1993Jan2|5.190419|
|000004d0| 2e 32 39 31 33 39 00 6b | 68 61 6e 2e 70 72 6f 74 |.29139.k|han.prot|
|000004e0| 6f 63 6f 6c 2e 7a 79 63 | 61 64 2e 63 6f 6d 00 31 |ocol.zyc|ad.com.1|
|000004f0| 6a 6d 64 75 72 49 4e 4e | 35 6d 65 00 6d 65 6c 2e |jmdurINN|5me.mel.|
|00000500| 64 69 74 2e 63 73 69 72 | 6f 2e 61 75 00 31 39 39 |dit.csir|o.au.199|
|00000510| 33 4a 61 6e 32 34 2e 30 | 36 30 32 31 33 2e 31 38 |3Jan24.0|60213.18|
|00000520| 36 35 31 00 6d 75 6c 6c | 65 72 2e 6c 6f 72 69 61 |651.mull|er.loria|
|00000530| 2e 66 72 00 37 38 36 00 | 73 70 61 63 65 2e 73 63 |.fr.786.|space.sc|
|00000540| 65 2e 63 61 72 6c 65 74 | 6f 6e 2e 63 61 00 77 65 |e.carlet|on.ca.we|
|00000550| 69 6d 69 6e 2e 37 32 37 | 37 36 36 32 31 33 00 63 |imin.727|766213.c|
|00000560| 63 2e 67 61 74 65 63 68 | 2e 65 64 75 00 31 39 39 |c.gatech|.edu.199|
|00000570| 33 4a 61 6e 32 33 2e 30 | 31 34 38 33 31 2e 35 32 |3Jan23.0|14831.52|
|00000580| 33 30 00 63 73 2e 6d 61 | 6e 2e 61 63 2e 75 6b 00 |30.cs.ma|n.ac.uk.|
|00000590| 31 39 39 33 4a 61 6e 32 | 32 2e 31 37 32 32 32 37 |1993Jan2|2.172227|
|000005a0| 00 69 72 61 75 6c 31 2e | 69 72 61 2e 75 6b 61 2e |.iraul1.|ira.uka.|
|000005b0| 64 65 00 31 6a 70 32 34 | 71 49 4e 4e 33 66 76 00 |de.1jp24|qINN3fv.|
|000005c0| 63 73 2e 63 68 61 6c 6d | 65 72 73 2e 73 65 00 31 |cs.chalm|ers.se.1|
|000005d0| 39 39 33 4a 61 6e 32 33 | 2e 31 33 33 32 31 37 2e |993Jan23|.133217.|
|000005e0| 31 31 32 32 33 00 31 39 | 39 33 4a 61 6e 32 31 2e |11223.19|93Jan21.|
|000005f0| 31 35 35 33 34 36 2e 31 | 39 36 34 33 00 69 6d 61 |155346.1|9643.ima|
|00000600| 64 61 2e 6f 75 2e 64 6b | 00 31 39 39 33 4a 61 6e |da.ou.dk|.1993Jan|
|00000610| 32 31 2e 31 34 33 38 30 | 31 2e 32 33 34 38 35 00 |21.14380|1.23485.|
|00000620| ff ff 0c 00 ff ff 0b 00 | ff ff 0a 00 ff ff 01 00 |........|........|
|00000630| ff ff 09 00 ff ff 08 00 | ff ff 06 00 ff ff 05 00 |........|........|
|00000640| ff ff 04 00 ff ff 03 00 | ff ff 07 00 02 00 ff ff |........|........|
|00000650| 00 00 ff ff             |                         |....    |        |
+--------+-------------------------+-------------------------+--------+--------+