[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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and