[isabelle] isar-ref: railsetup



I guess in isar-ref (page 73) it should be "railsetup" instead of "pdfsetup" (or maybe both)?

cheers

chris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.