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

[Makarius]

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