isabelle: Changelog

wenzelm [Wed, 19 Nov 2008 20:46:34 +0100] rev 34378

incorporated NOTES into TODO;

wenzelm [Wed, 19 Nov 2008 14:01:42 +0100] rev 34377

updates for Netbeans 6.5;

immler@in.tum.de [Wed, 19 Nov 2008 11:07:22 +0100] rev 34376

pass results to Scroller

immler@in.tum.de [Tue, 18 Nov 2008 22:15:06 +0100] rev 34375

replacing xsymbols *after* inserting text

immler@in.tum.de [Tue, 18 Nov 2008 22:07:40 +0100] rev 34374

buffer as array

immler@in.tum.de [Tue, 18 Nov 2008 21:58:22 +0100] rev 34373

convert eg pasted xsymbols

immler@in.tum.de [Tue, 18 Nov 2008 21:47:33 +0100] rev 34372

removed System.err...

immler@in.tum.de [Tue, 18 Nov 2008 21:45:29 +0100] rev 34371

copy-paste for XHTMLPanels

immler@in.tum.de [Tue, 18 Nov 2008 15:41:01 +0100] rev 34370

immler@in.tum.de [Tue, 18 Nov 2008 15:01:00 +0100] rev 34369

done

isabelle