[isabelle-dev] Outdated state after opening theories from images

Makarius 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 
> 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.


More information about the isabelle-dev mailing list