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