immler@in.tum.de [Fri, 22 May 2009 16:47:11 +0200] rev 34572
implemented links to other files
immler@in.tum.de [Fri, 22 May 2009 14:47:57 +0200] rev 34571
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de [Fri, 22 May 2009 13:43:35 +0200] rev 34570
corrected offset
immler@in.tum.de [Fri, 22 May 2009 13:43:35 +0200] rev 34569
fixed duplicate activation
immler@in.tum.de [Fri, 22 May 2009 13:43:35 +0200] rev 34568
removed debug-painting
immler@in.tum.de [Fri, 22 May 2009 13:43:35 +0200] rev 34567
let MarkupNode carry arbitrary information
immler@in.tum.de [Fri, 22 May 2009 13:43:35 +0200] rev 34566
added hyperlink plugin
immler@in.tum.de [Fri, 22 May 2009 13:43:35 +0200] rev 34565
ML types in tooltip
immler@in.tum.de [Fri, 22 May 2009 13:43:34 +0200] rev 34564
chaned '+'
immler@in.tum.de [Fri, 22 May 2009 13:43:34 +0200] rev 34563
reduced to one markup-tree