Commit History

Author SHA1 Message Date
  ceriel bcc84a94d5 Header --> Id 30 years ago
  ceriel ecc34c2227 Some corrections 34 years ago
  ceriel ba0366975d fixed some typos 35 years ago
  ceriel 14a37445df Added documentation about priority and optimizer keywords 35 years ago
  ceriel bdff3addb3 changed int?? to em?? 36 years ago
  ceriel 157abbd42c cleaned up some garbage. How did it get there? 36 years ago
  ceriel 574a98259b Updated 37 years ago
  dick c4936bbd48 adapting to phototypesetter 38 years ago
  sater 811bc78f04 added rcsid 40 years ago
  sater 3efa053ae7 Initial revision 40 years ago