[isabelle-dev] NEWS: improved support for Isabelle/ML

Dmitriy Traytel traytel at in.tum.de
Tue Feb 18 17:54:47 CET 2014


Am 18.02.2014 17:36, schrieb Dmitriy Traytel:
> [...] Maybe I just hat too many ML files open (I usually don't close 
> them once opened) [...]
An addition: When I close an ML file, why does it need to be reloaded?

Dmitriy




More information about the isabelle-dev mailing list