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 |