[isabelle-dev] NEWS: Auxiliary files

Makarius makarius at sketis.net
Wed Nov 20 17:35:07 CET 2013

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
Open text buffers take precedence over copies within the file-system.

This refers to Isabelle/05738b7d8191.

It is only the first half of it: PIDE document model, without document 
view.  This means sources are propagated from the editor to the prover, 
but PIDE markup is not accumulated nor rendered.

Nonetheless, it should be usable already.

The Output panel shows messages for the corresponding command that loads 
the aux. file of the active buffer.  So ML compiler messages are visible 
in plain text, but not attached to the source yet.


More information about the isabelle-dev mailing list