Sun, 16 Dec 2012 18:44:27 +0100 |
wenzelm |
tuned signature: use thy_load to adapt to prover/editor specific view on sources;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Thu, 20 Sep 2012 10:43:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 17:49:11 +0200 |
wenzelm |
somewhat more general JEdit_Lib;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 22:25:17 +0200 |
wenzelm |
more structural parsing for minor modes;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 21:38:24 +0200 |
wenzelm |
clarified Sidekick configuration, including minor modes;
|
file |
diff |
annotate
|
Wed, 25 Apr 2012 15:13:40 +0200 |
wenzelm |
reactivated ListCellRenderer for Java 6 (cf. b9e2ed4b1579, 0ddac15782e4, de249b5ae6e2);
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 23:15:58 +0200 |
wenzelm |
display Java 7 only code for now (cf. b9e2ed4b1579);
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 21:47:50 +0200 |
wenzelm |
custom ListCellRenderer with text area font ensures that symbols are displayed reliably;
|
file |
diff |
annotate
|
Wed, 18 Apr 2012 16:53:00 +0200 |
wenzelm |
flat presentation of collective markup;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 11:37:56 +0100 |
wenzelm |
maintain Version.syntax within document state;
|
file |
diff |
annotate
|
Wed, 14 Mar 2012 15:37:51 +0100 |
wenzelm |
more explicit indication of swing thread context;
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 15:20:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 12 Jan 2012 20:51:28 +0100 |
wenzelm |
clarified mkString: no extra line-breaks for XML.Body;
|
file |
diff |
annotate
|
Sat, 07 Jan 2012 12:39:46 +0100 |
wenzelm |
accumulate status as regular markup for command range;
|
file |
diff |
annotate
|
Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
Fri, 11 Nov 2011 14:24:38 +0100 |
wenzelm |
prefer statically typed Text.Markup;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 15:41:22 +0200 |
wenzelm |
maintain name of *the* enclosing node as part of command -- avoid full document traversal;
|
file |
diff |
annotate
|
Tue, 30 Aug 2011 16:04:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 13 Aug 2011 13:48:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|