Sat, 22 Nov 2008 01:02:08 +0100 use build-nb.xml for "debug" as well;
wenzelm [Sat, 22 Nov 2008 01:02:08 +0100] rev 34382
use build-nb.xml for "debug" as well;
Sat, 22 Nov 2008 00:51:27 +0100 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm [Sat, 22 Nov 2008 00:51:27 +0100] rev 34381
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
Wed, 19 Nov 2008 20:51:27 +0100 updated version of nbproject, as produced by build in Netbeans 6.5;
wenzelm [Wed, 19 Nov 2008 20:51:27 +0100] rev 34380
updated version of nbproject, as produced by build in Netbeans 6.5;
Wed, 19 Nov 2008 20:46:54 +0100 adapted jar locations;
wenzelm [Wed, 19 Nov 2008 20:46:54 +0100] rev 34379
adapted jar locations;
Wed, 19 Nov 2008 20:46:34 +0100 incorporated NOTES into TODO;
wenzelm [Wed, 19 Nov 2008 20:46:34 +0100] rev 34378
incorporated NOTES into TODO;
Wed, 19 Nov 2008 14:01:42 +0100 updates for Netbeans 6.5;
wenzelm [Wed, 19 Nov 2008 14:01:42 +0100] rev 34377
updates for Netbeans 6.5;
Wed, 19 Nov 2008 11:07:22 +0100 pass results to Scroller
immler@in.tum.de [Wed, 19 Nov 2008 11:07:22 +0100] rev 34376
pass results to Scroller
Tue, 18 Nov 2008 22:15:06 +0100 replacing xsymbols *after* inserting text
immler@in.tum.de [Tue, 18 Nov 2008 22:15:06 +0100] rev 34375
replacing xsymbols *after* inserting text
Tue, 18 Nov 2008 22:07:40 +0100 buffer as array
immler@in.tum.de [Tue, 18 Nov 2008 22:07:40 +0100] rev 34374
buffer as array
Tue, 18 Nov 2008 21:58:22 +0100 convert eg pasted xsymbols
immler@in.tum.de [Tue, 18 Nov 2008 21:58:22 +0100] rev 34373
convert eg pasted xsymbols
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip