[isabelle] Display Draft in Jedit



Hi,

I'm wondering if anyone knows how to display drafts for isabelle files
opened in jedit?

Best,
Christine




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