Mon, 03 Nov 2008 17:29:06 +0100 | immler | cleaned up a bit, scrolling arbitrary heights (incremental rendering) | changeset | files |
Mon, 03 Nov 2008 16:57:32 +0100 | immler | UserAgent as seperate class, moved stylesheets, baseURL to UserAgent | changeset | files |
Mon, 03 Nov 2008 16:03:11 +0100 | immler | using 'dist' directory for jEdit-settings => find Isabelle-plugin directly | changeset | files |