buttons:
[prev]
[next]
[datetime]
[Filnam
.
ext]
[prj,prg]
rev
[size]
1982-09-30 08:25
ERRATA.TXT
[TUG,DEK] 1 1280
1982-10-18 11:59
ERRATA.TXT
[TUG,DEK] 2 2560
1982-10-28 07:11
ERRATA.TXT
[TUG,DEK] 3 3200
1982-11-13 12:59
ERRATA.TXT
[TUG,DEK] 4 3200
1982-09-07 12:56
INTRIP.LOG
[TUG,DEK] 1 640
1983-12-01 16:30
LETTER.TEX
[TUG,DEK] 1 5120
1982-09-18 20:47
MANUAL.TEX
[TUG,DEK] 1 24960
1982-09-26 23:18
MANUAL.TEX
[TUG,DEK] 2 24960
1982-11-02 04:35
MANUAL.TEX
[TUG,DEK] 3 24960
1982-11-02 04:35
MANUAL.TEX
[TUG,DEK] 4 24960
1982-11-16 22:50
MANUAL.TEX
[TUG,DEK] 5 24960
1983-01-10 22:33
MANUAL.TEX
[TUG,DEK] 6 24960
1983-01-29 12:18
MANUAL.TEX
[TUG,DEK] 7 24960
1983-02-09 15:56
MANUAL.TEX
[TUG,DEK] 8 24960
1983-04-16 19:01
MANUAL.TEX
[TUG,DEK] 9 24960
1983-06-05 19:09
MANUAL.TEX
[TUG,DEK] 10 24960
1983-07-21 02:02
MANUAL.TEX
[TUG,DEK] 11 25600
1983-08-18 14:01
MANUAL.TEX
[TUG,DEK] 12 25600
1983-12-01 00:16
MANUAL.TEX
[TUG,DEK] 13 25600
1984-08-02 21:36
MANUAL.TEX
[TUG,DEK] 14 25600
1984-11-25 15:05
MANUAL.TEX
[TUG,DEK] 15 25600
1984-12-13 12:08
MANUAL.TEX
[TUG,DEK] 16 25600
1985-01-21 20:03
MANUAL.TEX
[TUG,DEK] 17 25600
1985-04-18 00:20
MANUAL.TEX
[TUG,DEK] 18 25600
1982-09-29 09:42
MEMO .DVI
[TUG,DEK] 1 8740
1982-09-29 09:42
MEMO .TEX
[TUG,DEK] 1 6400
1982-10-26 20:41
MEMO .TEX
[TUG,DEK] 2 6400
1982-10-26 20:41
MEMO .TEX
[TUG,DEK] 3 6400
1982-07-27 02:13
TEX . CH
[TUG,DEK] 1 51200
1982-07-27 02:09
TEX .WEB
[TUG,DEK] 1 889600
1982-09-20 23:10
TITLE .TEX
[TUG,DEK] 1 1920
1982-10-26 20:42
TITLE .TEX
[TUG,DEK] 2 1920
1983-01-29 12:18
TITLE .TEX
[TUG,DEK] 3 1920
1983-07-19 05:40
TITLE .TEX
[TUG,DEK] 4 1920
1983-12-01 00:15
TITLE .TEX
[TUG,DEK] 5 1920
1984-08-02 12:48
TRAP . MF
[TUG,DEK] 1 10240
1984-09-12 20:07
TRAP . MF
[TUG,DEK] 2 10880
1984-09-27 11:38
TRAP . MF
[TUG,DEK] 3 10880
1984-10-11 20:09
TRAP . MF
[TUG,DEK] 4 10880
1984-11-09 19:23
TRAP . MF
[TUG,DEK] 5 10880
1984-12-10 20:24
TRAP . MF
[TUG,DEK] 6 11520
1985-01-23 02:07
TRAP . MF
[TUG,DEK] 7 11520
1985-02-02 16:54
TRAP . MF
[TUG,DEK] 8 11520
1985-04-04 02:10
TRAP . MF
[TUG,DEK] 9 11520
1985-05-12 21:46
TRAP . MF
[TUG,DEK] 10 12160
1985-09-05 20:12
TRAP . MF
[TUG,DEK] 11 12160
1985-10-25 19:48
TRAP . MF
[TUG,DEK] 12 12160
1984-07-28 21:48
TRAP . PL
[TUG,DEK] 1 2325
1985-04-01 03:40
TRAP . PL
[TUG,DEK] 2 2350
1985-05-10 03:15
TRAP . PL
[TUG,DEK] 3 2350
1984-08-02 13:15
TRAP .FOT
[TUG,DEK] 1 3200
1984-09-12 20:19
TRAP .FOT
[TUG,DEK] 2 2560
1984-09-27 11:49
TRAP .FOT
[TUG,DEK] 3 3200
1984-10-11 20:13
TRAP .FOT
[TUG,DEK] 4 3200
1984-11-09 19:54
TRAP .FOT
[TUG,DEK] 5 3200
1984-12-10 20:48
TRAP .FOT
[TUG,DEK] 6 1920
1985-01-23 02:23
TRAP .FOT
[TUG,DEK] 7 1920
1985-02-02 17:01
TRAP .FOT
[TUG,DEK] 8 1920
1985-02-16 17:38
TRAP .FOT
[TUG,DEK] 9 1920
1985-04-04 02:13
TRAP .FOT
[TUG,DEK] 10 1920
1985-05-12 22:35
TRAP .FOT
[TUG,DEK] 11 1920
1985-09-05 20:23
TRAP .FOT
[TUG,DEK] 12 1920
1986-01-04 09:37
TRAP .FOT
[TUG,DEK] 13 1920
1986-08-06 06:16
TRAP .FOT
[TUG,DEK] 14 1920
1984-09-12 20:15
TRAP .LOG
[TUG,DEK] 1 110830
1984-09-27 11:45
TRAP .LOG
[TUG,DEK] 2 111585
1984-10-11 20:11
TRAP .LOG
[TUG,DEK] 3 116505
1984-11-09 19:48
TRAP .LOG
[TUG,DEK] 4 117635
1984-12-10 20:40
TRAP .LOG
[TUG,DEK] 5 117165
1985-01-23 02:08
TRAP .LOG
[TUG,DEK] 6 117830
1985-02-02 16:55
TRAP .LOG
[TUG,DEK] 7 117840
1985-02-16 17:33
TRAP .LOG
[TUG,DEK] 8 117850
1985-04-04 02:10
TRAP .LOG
[TUG,DEK] 9 118560
1985-05-12 22:34
TRAP .LOG
[TUG,DEK] 10 123040
1985-09-05 20:14
TRAP .LOG
[TUG,DEK] 11 123295
1986-01-04 11:59
TRAP .LOG
[TUG,DEK] 12 123520
1986-08-06 06:18
TRAP .LOG
[TUG,DEK] 13 123520
1985-01-15 22:05
TRAP .SAV
[TUG,DEK] 1 117165
1984-08-02 20:07
TRAP .TEX
[TUG,DEK] 1 25600
1984-08-29 20:17
TRAP .TEX
[TUG,DEK] 2 25600
1984-10-08 12:21
TRAP .TEX
[TUG,DEK] 3 25600
1984-12-06 13:47
TRAP .TEX
[TUG,DEK] 4 25600
1985-01-21 20:03
TRAP .TEX
[TUG,DEK] 5 25600
1985-04-19 23:58
TRAP .TEX
[TUG,DEK] 6 25600
1985-08-11 19:16
TRAP .TEX
[TUG,DEK] 7 25600
1984-08-02 13:06
TRAP .TYP
[TUG,DEK] 1 4325
1984-08-16 21:36
TRAP .TYP
[TUG,DEK] 2 4480
1984-09-12 20:33
TRAP .TYP
[TUG,DEK] 3 4665
1984-09-27 11:50
TRAP .TYP
[TUG,DEK] 4 4665
1984-10-11 20:15
TRAP .TYP
[TUG,DEK] 5 4665
1984-11-09 19:55
TRAP .TYP
[TUG,DEK] 6 4665
1984-12-10 20:47
TRAP .TYP
[TUG,DEK] 7 4550
1985-01-23 02:22
TRAP .TYP
[TUG,DEK] 8 4565
1985-02-02 16:58
TRAP .TYP
[TUG,DEK] 9 4525
1985-04-04 02:12
TRAP .TYP
[TUG,DEK] 10 4710
1985-05-12 22:36
TRAP .TYP
[TUG,DEK] 11 4710
1985-09-05 20:27
TRAP .TYP
[TUG,DEK] 12 4710
1986-01-04 09:39
TRAP .TYP
[TUG,DEK] 13 4760
1986-08-06 06:19
TRAP .TYP
[TUG,DEK] 14 4760
1984-08-02 12:48
TRAPIN.LOG
[TUG,DEK] 1 3430
1984-09-12 20:14
TRAPIN.LOG
[TUG,DEK] 2 3430
1984-09-27 09:14
TRAPIN.LOG
[TUG,DEK] 3 3430
1984-10-11 20:09
TRAPIN.LOG
[TUG,DEK] 4 3430
1984-11-09 19:13
TRAPIN.LOG
[TUG,DEK] 5 4140
1984-12-10 20:38
TRAPIN.LOG
[TUG,DEK] 6 4605
1985-01-23 02:02
TRAPIN.LOG
[TUG,DEK] 7 4605
1985-02-02 16:54
TRAPIN.LOG
[TUG,DEK] 8 4600
1985-02-16 17:25
TRAPIN.LOG
[TUG,DEK] 9 4605
1985-04-04 01:35
TRAPIN.LOG
[TUG,DEK] 10 4600
1985-05-12 22:33
TRAPIN.LOG
[TUG,DEK] 11 4595
1985-09-05 19:35
TRAPIN.LOG
[TUG,DEK] 12 4625
1986-01-04 09:32
TRAPIN.LOG
[TUG,DEK] 13 4625
1986-08-06 06:07
TRAPIN.LOG
[TUG,DEK] 14 4625
1986-01-04 11:50
TRAPMN.TEX
[TUG,DEK] 1 25600
1982-07-25 15:55
TRIP . PL
[TUG,DEK] 1 2125
1982-09-12 14:31
TRIP . PL
[TUG,DEK] 2 2560
1983-09-04 20:43
TRIP . PL
[TUG,DEK] 3 2245
1984-02-28 02:03
TRIP . PL
[TUG,DEK] 4 2105
1982-07-25 15:58
TRIP .DVI
[TUG,DEK] 1 915
1982-09-07 11:44
TRIP .DVI
[TUG,DEK] 2 3335
1982-07-25 15:58
TRIP .ERR
[TUG,DEK] 1 14730
1982-09-22 21:02
TRIP .FOT
[TUG,DEK] 1 33280
1982-10-15 15:41
TRIP .FOT
[TUG,DEK] 2 33280
1982-11-02 05:20
TRIP .FOT
[TUG,DEK] 3 32640
1982-11-02 05:20
TRIP .FOT
[TUG,DEK] 4 32640
1982-12-02 23:19
TRIP .FOT
[TUG,DEK] 5 34560
1983-01-09 21:13
TRIP .FOT
[TUG,DEK] 6 37760
1983-01-31 00:06
TRIP .FOT
[TUG,DEK] 7 42240
1983-03-16 21:28
TRIP .FOT
[TUG,DEK] 8 42880
1983-04-16 00:36
TRIP .FOT
[TUG,DEK] 9 44160
1983-06-01 00:26
TRIP .FOT
[TUG,DEK] 10 43520
1983-06-19 15:07
TRIP .FOT
[TUG,DEK] 11 2560
1983-07-27 01:09
TRIP .FOT
[TUG,DEK] 12 2560
1983-09-05 15:09
TRIP .FOT
[TUG,DEK] 13 3200
1983-09-26 21:47
TRIP .FOT
[TUG,DEK] 14 3200
1984-02-15 22:18
TRIP .FOT
[TUG,DEK] 15 2560
1984-07-09 11:02
TRIP .FOT
[TUG,DEK] 16 2560
1984-09-21 14:25
TRIP .FOT
[TUG,DEK] 17 3200
1984-10-20 11:57
TRIP .FOT
[TUG,DEK] 18 3200
1984-11-25 18:59
TRIP .FOT
[TUG,DEK] 19 3200
1985-04-17 01:04
TRIP .FOT
[TUG,DEK] 20 3200
1985-08-07 21:02
TRIP .FOT
[TUG,DEK] 21 3200
1982-09-08 17:00
TRIP .LOG
[TUG,DEK] 1 130470
1982-10-15 15:42
TRIP .LOG
[TUG,DEK] 2 132480
1982-11-02 05:18
TRIP .LOG
[TUG,DEK] 3 132145
1982-12-02 23:16
TRIP .LOG
[TUG,DEK] 4 134825
1983-01-09 20:54
TRIP .LOG
[TUG,DEK] 5 146660
1983-01-31 00:00
TRIP .LOG
[TUG,DEK] 6 158665
1983-03-16 20:40
TRIP .LOG
[TUG,DEK] 7 168310
1983-04-16 19:04
TRIP .LOG
[TUG,DEK] 8 170240
1983-04-16 19:04
TRIP .LOG
[TUG,DEK] 9 170240
1983-05-16 14:53
TRIP .LOG
[TUG,DEK] 10 170240
1983-06-19 15:05
TRIP .LOG
[TUG,DEK] 11 171150
1983-07-27 01:05
TRIP .LOG
[TUG,DEK] 12 176640
1983-09-05 15:06
TRIP .LOG
[TUG,DEK] 13 178435
1983-09-26 21:41
TRIP .LOG
[TUG,DEK] 14 177805
1983-11-10 00:58
TRIP .LOG
[TUG,DEK] 15 178115
1984-02-15 22:19
TRIP .LOG
[TUG,DEK] 16 178560
1984-03-02 20:20
TRIP .LOG
[TUG,DEK] 17 177775
1984-04-12 02:36
TRIP .LOG
[TUG,DEK] 18 178770
1984-07-08 21:05
TRIP .LOG
[TUG,DEK] 19 180890
1984-07-08 21:05
TRIP .LOG
[TUG,DEK] 20 180890
1984-09-21 14:17
TRIP .LOG
[TUG,DEK] 21 181510
1984-10-20 11:55
TRIP .LOG
[TUG,DEK] 22 181800
1984-11-25 18:59
TRIP .LOG
[TUG,DEK] 23 182400
1985-04-18 03:06
TRIP .LOG
[TUG,DEK] 24 183770
1985-08-07 21:02
TRIP .LOG
[TUG,DEK] 25 184320
1982-07-25 15:58
TRIP .TEX
[TUG,DEK] 1 14080
1982-09-13 20:46
TRIP .TEX
[TUG,DEK] 2 17280
1982-09-22 20:27
TRIP .TEX
[TUG,DEK] 3 17280
1982-09-30 14:53
TRIP .TEX
[TUG,DEK] 4 17280
1982-10-10 14:59
TRIP .TEX
[TUG,DEK] 5 17280
1982-11-02 05:15
TRIP .TEX
[TUG,DEK] 6 17920
1982-12-02 22:35
TRIP .TEX
[TUG,DEK] 7 18560
1983-01-09 20:38
TRIP .TEX
[TUG,DEK] 8 19200
1983-01-29 15:19
TRIP .TEX
[TUG,DEK] 9 19840
1983-03-16 17:45
TRIP .TEX
[TUG,DEK] 10 19840
1983-04-16 00:31
TRIP .TEX
[TUG,DEK] 11 20480
1983-05-31 23:53
TRIP .TEX
[TUG,DEK] 12 21120
1983-06-19 14:57
TRIP .TEX
[TUG,DEK] 13 21120
1983-07-27 01:01
TRIP .TEX
[TUG,DEK] 14 21760
1983-09-05 14:41
TRIP .TEX
[TUG,DEK] 15 21760
1983-09-17 20:12
TRIP .TEX
[TUG,DEK] 16 21760
1983-11-10 00:58
TRIP .TEX
[TUG,DEK] 17 21760
1984-03-02 20:18
TRIP .TEX
[TUG,DEK] 18 21760
1984-04-12 02:36
TRIP .TEX
[TUG,DEK] 19 21760
1984-07-08 21:05
TRIP .TEX
[TUG,DEK] 20 21760
1984-09-21 14:10
TRIP .TEX
[TUG,DEK] 21 22400
1984-10-20 11:51
TRIP .TEX
[TUG,DEK] 22 22400
1985-04-18 02:53
TRIP .TEX
[TUG,DEK] 23 22400
1985-08-07 20:57
TRIP .TEX
[TUG,DEK] 24 22400
1982-07-25 15:56
TRIP .TFM
[TUG,DEK] 1 1000
1982-07-25 16:01
TRIP .TYP
[TUG,DEK] 1 12460
1982-09-08 17:12
TRIP .TYP
[TUG,DEK] 2 61880
1982-09-22 20:41
TRIP .TYP
[TUG,DEK] 3 59330
1982-10-15 15:42
TRIP .TYP
[TUG,DEK] 4 59520
1982-11-02 05:30
TRIP .TYP
[TUG,DEK] 5 59520
1982-11-02 05:30
TRIP .TYP
[TUG,DEK] 6 59520
1982-12-02 23:22
TRIP .TYP
[TUG,DEK] 7 59435
1983-01-09 21:15
TRIP .TYP
[TUG,DEK] 8 61045
1983-01-31 00:07
TRIP .TYP
[TUG,DEK] 9 61385
1983-03-16 21:24
TRIP .TYP
[TUG,DEK] 10 61390
1983-04-16 00:35
TRIP .TYP
[TUG,DEK] 11 61390
1983-06-01 00:26
TRIP .TYP
[TUG,DEK] 12 62600
1983-06-19 15:07
TRIP .TYP
[TUG,DEK] 13 62165
1983-07-27 01:12
TRIP .TYP
[TUG,DEK] 14 62040
1983-09-05 15:09
TRIP .TYP
[TUG,DEK] 15 62160
1983-09-26 21:47
TRIP .TYP
[TUG,DEK] 16 62160
1983-11-10 01:05
TRIP .TYP
[TUG,DEK] 17 62160
1983-11-10 01:05
TRIP .TYP
[TUG,DEK] 18 62160
1984-02-13 22:40
TRIP .TYP
[TUG,DEK] 19 62160
1984-03-06 22:54
TRIP .TYP
[TUG,DEK] 20 62720
1984-04-12 16:45
TRIP .TYP
[TUG,DEK] 21 62720
1984-04-27 13:05
TRIP .TYP
[TUG,DEK] 22 62720
1984-05-04 19:42
TRIP .TYP
[TUG,DEK] 23 62720
1984-05-04 19:42
TRIP .TYP
[TUG,DEK] 24 62720
1984-06-09 22:54
TRIP .TYP
[TUG,DEK] 25 62720
1984-07-08 21:12
TRIP .TYP
[TUG,DEK] 26 62160
1984-08-02 21:37
TRIP .TYP
[TUG,DEK] 27 62720
1984-09-21 14:20
TRIP .TYP
[TUG,DEK] 28 62160
1984-10-20 11:57
TRIP .TYP
[TUG,DEK] 29 62160
1984-11-25 15:16
TRIP .TYP
[TUG,DEK] 30 62160
1985-04-18 03:07
TRIP .TYP
[TUG,DEK] 31 62160
1985-08-07 21:03
TRIP .TYP
[TUG,DEK] 32 62160
1982-09-22 20:47
TRIPIN.LOG
[TUG,DEK] 1 640
1982-10-15 15:43
TRIPIN.LOG
[TUG,DEK] 2 640
1982-11-02 05:17
TRIPIN.LOG
[TUG,DEK] 3 685
1982-12-02 23:15
TRIPIN.LOG
[TUG,DEK] 4 700
1983-01-09 19:17
TRIPIN.LOG
[TUG,DEK] 5 925
1983-01-30 23:59
TRIPIN.LOG
[TUG,DEK] 6 955
1983-03-16 20:36
TRIPIN.LOG
[TUG,DEK] 7 955
1983-04-16 00:23
TRIPIN.LOG
[TUG,DEK] 8 955
1983-05-31 22:26
TRIPIN.LOG
[TUG,DEK] 9 1230
1983-06-19 14:57
TRIPIN.LOG
[TUG,DEK] 10 2060
1983-07-27 01:03
TRIPIN.LOG
[TUG,DEK] 11 2775
1983-09-05 13:31
TRIPIN.LOG
[TUG,DEK] 12 2775
1983-09-26 21:40
TRIPIN.LOG
[TUG,DEK] 13 2770
1983-11-10 00:17
TRIPIN.LOG
[TUG,DEK] 14 2770
1984-02-15 22:19
TRIPIN.LOG
[TUG,DEK] 15 3200
1984-03-02 20:19
TRIPIN.LOG
[TUG,DEK] 16 2770
1984-04-12 02:29
TRIPIN.LOG
[TUG,DEK] 17 2770
1984-07-08 20:55
TRIPIN.LOG
[TUG,DEK] 18 2770
1984-08-02 20:35
TRIPIN.LOG
[TUG,DEK] 19 3200
1984-09-21 14:13
TRIPIN.LOG
[TUG,DEK] 20 2775
1984-10-20 11:38
TRIPIN.LOG
[TUG,DEK] 21 2780
1984-11-25 13:54
TRIPIN.LOG
[TUG,DEK] 22 2780
1985-04-18 03:02
TRIPIN.LOG
[TUG,DEK] 23 2775
1985-08-07 20:46
TRIPIN.LOG
[TUG,DEK] 24 3200
1985-10-06 02:21
TRIPMN.TEX
[TUG,DEK] 1 25600
1982-09-14 16:56
TRIPOS.TEX
[TUG,DEK] 1 60
1983-04-12 10:57
TRIPOS.TEX
[TUG,DEK] 2 60
1983-05-29 00:50
TRIPOS.TEX
[TUG,DEK] 3 65