コミット履歴

作者 SHA1 メッセージ 日付
  ceriel 5c83e7dbb5 Header --> Id 30 年 前
  ceriel 8ffaf72dfa Some corrections 34 年 前
  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 年 前