| Thu, 04 Jun 2009 22:08:02 +0200 | wenzelm | ExternalHyperlink.click: use IsabelleSystem.source_file provided in http://isabelle.in.tum.de/repos/isabelle/rev/dde1b4d1c95b | file | diff | annotate |
| Tue, 02 Jun 2009 22:31:58 +0200 | wenzelm | superficial tuning; | file | diff | annotate |
| Tue, 02 Jun 2009 21:20:22 +0200 | wenzelm | superficial tuning; | file | diff | annotate |
| Mon, 25 May 2009 14:36:40 +0200 | immler | changed handling of subdirectories | file | diff | annotate |
| Fri, 22 May 2009 16:47:11 +0200 | immler | implemented links to other files | file | diff | annotate |
| Fri, 22 May 2009 14:47:57 +0200 | immler | implemented IsabelleHyperlinkSource (only links inside the current buffer) | file | diff | annotate |