提交历史

作者 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 年之前