[isabelle] subscripts in identifiers



Hi,

when will it be ready for the masses? In the next release?

- Gergely




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