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. Makarius
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev