immler@in.tum.de [Tue, 02 Dec 2008 15:25:24 +0100] rev 34395
include Sidekick its dependency ErrorList in dist
immler@in.tum.de [Sun, 30 Nov 2008 19:32:17 +0100] rev 34394
removed debugging output
immler@in.tum.de [Sun, 30 Nov 2008 19:18:59 +0100] rev 34393
basic tree structure for sidekick
immler@in.tum.de [Sat, 29 Nov 2008 19:31:09 +0100] rev 34392
encoloring only details in the current line!
immler@in.tum.de [Fri, 28 Nov 2008 17:49:39 +0100] rev 34391
ugly fine-grained buffer markup
immler@in.tum.de [Fri, 28 Nov 2008 15:51:40 +0100] rev 34390
Token-functions with type-parameters
immler@in.tum.de [Fri, 28 Nov 2008 15:34:52 +0100] rev 34389
moved methods to object Token
immler@in.tum.de [Fri, 28 Nov 2008 15:00:07 +0100] rev 34388
arbitrary type for tokens
immler@in.tum.de [Thu, 27 Nov 2008 22:24:53 +0100] rev 34387
removed xsymbol converting -> sidekick should do that
immler@in.tum.de [Thu, 27 Nov 2008 21:15:31 +0100] rev 34386
revalidate for repainting