[isabelle-dev] Outdated state after opening theories from images
makarius at sketis.net
Sat Nov 23 12:24:47 CET 2013
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
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.
More information about the isabelle-dev