コミット履歴

作者 SHA1 メッセージ 日付
  ceriel bcc84a94d5 Header --> Id 30 年 前
  ceriel ecc34c2227 Some corrections 34 年 前
  ceriel ba0366975d fixed some typos 35 年 前
  ceriel 14a37445df Added documentation about priority and optimizer keywords 35 年 前
  ceriel bdff3addb3 changed int?? to em?? 36 年 前
  ceriel 157abbd42c cleaned up some garbage. How did it get there? 36 年 前
  ceriel 574a98259b Updated 37 年 前
  dick c4936bbd48 adapting to phototypesetter 38 年 前
  sater 811bc78f04 added rcsid 40 年 前
  sater 3efa053ae7 Initial revision 40 年 前