Sat, 29 Nov 2008 19:31:09 +0100 | immler | encoloring only details in the current line! | changeset | files |
Fri, 28 Nov 2008 17:49:39 +0100 | immler | ugly fine-grained buffer markup | changeset | files |
Fri, 28 Nov 2008 15:51:40 +0100 | immler | Token-functions with type-parameters | changeset | files |