[isabelle] detaching sml mode from Prover IDE


first of all, thanks for the developers for the sml mode.

Would it be possible to detach the sml mode of the Prover IDE from
Isabelle? If one wants to develop in Standard ML, downloading the
whole Isabelle release is too much of a good thing.

Would this detachment make sense from the Isabelle maintainer's viewpoint?

How much effort do you see for this to be done?

- Gergely

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