ceriel
|
5c83e7dbb5
Header --> Id
|
30 лет назад |
ceriel
|
8ffaf72dfa
Some corrections
|
33 лет назад |
ceriel
|
53b430aed6
fixed some typos
|
35 лет назад |
ceriel
|
7161d59956
Added documentation about priority and optimizer keywords
|
35 лет назад |
ceriel
|
066439ec19
changed int?? to em??
|
36 лет назад |
ceriel
|
580b1c081f
cleaned up some garbage. How did it get there?
|
36 лет назад |
ceriel
|
a7329c38e3
Updated
|
37 лет назад |
dick
|
10569743c8
adapting to phototypesetter
|
38 лет назад |
sater
|
d90f26a8c5
added rcsid
|
40 лет назад |
sater
|
59c2380f85
Initial revision
|
40 лет назад |