[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

Jeremy






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