ceriel
|
bcc84a94d5
|
Header --> Id
|
1994-06-24 11:31:16 +00:00 |
|
ceriel
|
ecc34c2227
|
Some corrections
|
1990-11-16 09:58:33 +00:00 |
|
ceriel
|
ba0366975d
|
fixed some typos
|
1989-06-15 19:50:14 +00:00 |
|
ceriel
|
14a37445df
|
Added documentation about priority and optimizer keywords
|
1989-02-09 16:17:00 +00:00 |
|
ceriel
|
bdff3addb3
|
changed int?? to em??
|
1988-05-06 13:46:55 +00:00 |
|
ceriel
|
157abbd42c
|
cleaned up some garbage. How did it get there?
|
1988-04-18 15:54:20 +00:00 |
|
ceriel
|
574a98259b
|
Updated
|
1987-02-26 15:44:00 +00:00 |
|
dick
|
c4936bbd48
|
adapting to phototypesetter
|
1986-02-28 18:02:00 +00:00 |
|
sater
|
811bc78f04
|
added rcsid
|
1984-07-27 10:28:48 +00:00 |
|
sater
|
3efa053ae7
|
Initial revision
|
1984-06-29 11:21:50 +00:00 |
|