fix bug in encoding of SET instruction for Marina
[fleet.git] / doc / register.sty
2007-07-03 adamadd stuff to doc dir