On Mon, 2012-08-27 at 13:35 +0200, Makarius wrote: > >> 1) In "theory T imports A", I'd like to be able to Ctrl-click on A to > >> open the corresponding theory file. > > See some changesets leading up to Isabelle/10b89c127153 how I've spent > Sunday afternoon.
Nice. I suspect it would be considerably more work to support C-click in already loaded theories (e.g., HOL/Main)? Best regards, Tjark _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
