[isabelle-dev] HOL-ex.Sketch_and_Explore

[Lawrence Paulson]

Happy to, but I can't do a thing until somebody restores my account at TUM, which apparently was deleted last week

Larry
On 20 Mar 2024 at 09:56 +0000, Makarius <makarius at sketis.net>, wrote:
On 18/03/2024 16:11, Lawrence Paulson wrote:
Many thanks for making those improvements!

It's so useful, I wonder why more people do not use it.

So how about an entry in NEWS for the coming release?


Makarius


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240320/b33348ff/attachment.htm>