isabelle: Changelog

wenzelm [Wed, 19 Nov 2008 20:51:27 +0100] rev 34380

updated version of nbproject, as produced by build in Netbeans 6.5;

wenzelm [Wed, 19 Nov 2008 20:46:54 +0100] rev 34379

adapted jar locations;

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

isabelle