src/Tools/jEdit/src/isabelle_sidekick.scala
Thu, 29 Aug 2013 12:38:33 +0200 wenzelm maintain Completion_Popup.Text_Area as client property like Document_View;
Tue, 27 Aug 2013 20:45:02 +0200 wenzelm some actual completion via outer syntax;
Sat, 06 Jul 2013 21:19:38 +0200 wenzelm minimal jedit mode for Isabelle NEWS;
Thu, 04 Apr 2013 18:20:00 +0200 wenzelm tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;
Sat, 23 Mar 2013 13:57:46 +0100 wenzelm allow fractional pretty margin -- avoid premature rounding;
Fri, 04 Jan 2013 17:33:55 +0100 wenzelm tuned imports;
Sun, 16 Dec 2012 18:44:27 +0100 wenzelm tuned signature: use thy_load to adapt to prover/editor specific view on sources;
Sun, 25 Nov 2012 20:59:32 +0100 wenzelm renamed main plugin object to PIDE;
Thu, 20 Sep 2012 10:43:04 +0200 wenzelm tuned;
Mon, 17 Sep 2012 17:49:11 +0200 wenzelm somewhat more general JEdit_Lib;
Wed, 22 Aug 2012 16:24:52 +0200 wenzelm clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
Thu, 16 Aug 2012 14:25:58 +0200 wenzelm updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
Tue, 07 Aug 2012 22:25:17 +0200 wenzelm more structural parsing for minor modes;
Tue, 07 Aug 2012 21:38:24 +0200 wenzelm clarified Sidekick configuration, including minor modes;
Wed, 25 Apr 2012 15:13:40 +0200 wenzelm reactivated ListCellRenderer for Java 6 (cf. b9e2ed4b1579, 0ddac15782e4, de249b5ae6e2);
Thu, 19 Apr 2012 23:15:58 +0200 wenzelm display Java 7 only code for now (cf. b9e2ed4b1579);
Thu, 19 Apr 2012 21:47:50 +0200 wenzelm custom ListCellRenderer with text area font ensures that symbols are displayed reliably;
Wed, 18 Apr 2012 16:53:00 +0200 wenzelm flat presentation of collective markup;
Thu, 15 Mar 2012 11:37:56 +0100 wenzelm maintain Version.syntax within document state;
Wed, 14 Mar 2012 15:37:51 +0100 wenzelm more explicit indication of swing thread context;
Sat, 14 Jan 2012 15:20:29 +0100 wenzelm tuned signature;
Thu, 12 Jan 2012 20:51:28 +0100 wenzelm clarified mkString: no extra line-breaks for XML.Body;
Sat, 07 Jan 2012 12:39:46 +0100 wenzelm accumulate status as regular markup for command range;
Fri, 16 Dec 2011 13:37:08 +0100 wenzelm prefer sorting from Scala library;
Fri, 11 Nov 2011 14:24:38 +0100 wenzelm prefer statically typed Text.Markup;
Thu, 01 Sep 2011 13:34:45 +0200 wenzelm more abstract Document.Node.Name;
Wed, 31 Aug 2011 15:41:22 +0200 wenzelm maintain name of *the* enclosing node as part of command -- avoid full document traversal;
Tue, 30 Aug 2011 16:04:26 +0200 wenzelm tuned signature;
Sat, 13 Aug 2011 13:48:26 +0200 wenzelm tuned;
Thu, 07 Jul 2011 13:48:30 +0200 wenzelm simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
Mon, 04 Jul 2011 22:11:32 +0200 wenzelm quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Wed, 08 Jun 2011 17:42:07 +0200 wenzelm moved sources -- eliminated Netbeans artifact of jedit package directory;
less more (0) tip