Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
Fri, 04 May 2012 15:58:27 +0200 |
wenzelm |
some attempts to make critical errors fit on screen;
|
file |
diff |
annotate
|
Wed, 18 Apr 2012 18:31:48 +0200 |
wenzelm |
approximative file position for Pure entities;
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 16:12:09 +0100 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
Thu, 12 Jan 2012 21:50:00 +0100 |
wenzelm |
improved select_markup: include filtering of defined results;
|
file |
diff |
annotate
|
Tue, 10 Jan 2012 23:26:27 +0100 |
wenzelm |
clarified Isabelle_Rendering vs. physical painting;
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 14:29:14 +0100 |
wenzelm |
clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 20:18:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
Sat, 12 Nov 2011 19:44:56 +0100 |
wenzelm |
index markup elements for more efficient cumulate/select operations;
|
file |
diff |
annotate
|
Sat, 12 Nov 2011 12:21:42 +0100 |
wenzelm |
tuned signature;
|
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
|
Tue, 30 Aug 2011 15:43:27 +0200 |
wenzelm |
some support for hyperlinks between different buffers;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
Thu, 30 Jun 2011 14:55:01 +0200 |
wenzelm |
prefer Isabelle path algebra;
|
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
|