[isabelle-dev] NEWS: more options for "isabelle jedit"

Makarius makarius at sketis.net
Mon Dec 18 11:02:19 CET 2017

On 04/11/17 10:25, Florian Haftmann wrote:
> Lets start with
> 	isabelle jedit -d '$AFP' -S …
> This provides a suitable base image and opens the ROOT file.
> What is the canonical way to proceed from there to check the whole
> session?  Of course the ROOT file lists the respective theories and you
> can open them manually in jedit, but this is tiresome if the ROOT file
> spans many theories.
> Would clicakble theorie files in ROOT files be an option?

Clickable ROOT now works in Isabelle/62a5fbdded50.

Beyond that, I would like to see eventually a Theories or Session
dockable with systematic access to all theories from certain sessions.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20171218/82bc3638/attachment.asc>

More information about the isabelle-dev mailing list