[isabelle] update_thy

I've just obtained a recent development version of Isabelle, and find that update_thy is missing.

Is this intentional? Is there something to use in its place? To exit and restart Isabelle, and do use_thy, wastes a lot of time


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