src/Tools/jEdit/src/jedit/TheoryView.scala
Sun, 07 Dec 2008 19:55:01 +0100 immler interpretation of STATUS messages in one place, deleting inner syntax
Sun, 30 Nov 2008 19:18:59 +0100 immler basic tree structure for sidekick
Sat, 29 Nov 2008 19:31:09 +0100 immler encoloring only details in the current line!
Fri, 28 Nov 2008 17:49:39 +0100 immler ugly fine-grained buffer markup
Thu, 27 Nov 2008 22:24:53 +0100 immler removed xsymbol converting -> sidekick should do that
Tue, 18 Nov 2008 22:15:06 +0100 immler replacing xsymbols *after* inserting text
Tue, 18 Nov 2008 21:58:22 +0100 immler convert eg pasted xsymbols
Tue, 18 Nov 2008 21:47:33 +0100 immler removed System.err...
Thu, 13 Nov 2008 13:08:37 +0100 immler playing with xsymbols
Sun, 19 Oct 2008 16:51:55 +0200 wenzelm original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
less more (0) tip