src/Tools/jEdit/src/symbols_dockable.scala
Wed, 21 Nov 2012 12:11:21 +0100 immler capitalize lowercase groups;
Wed, 21 Nov 2012 14:06:59 +0100 wenzelm tuned;
Wed, 21 Nov 2012 13:47:47 +0100 wenzelm accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;
Wed, 21 Nov 2012 10:51:12 +0100 immler dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
less more (0) tip