On Sat, 23 Nov 2013, Dmitriy Traytel wrote:
This is a follow-up to the recently added support for auxiliary files (via
'ML_file' etc.) within the Prover IDE (05738b7d8191 and before).
Thanks for the patch and the very useful feature for people working with
Isabelle/ML.
Just keep me informed, if there are problems with it. I've spent a few
concentrated days on adding the file support, and then got derailed on too
many other things.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
