| Sat, 03 Sep 2011 12:31:27 +0200 |
wenzelm |
some support to prune_history;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 16:58:41 +0200 |
wenzelm |
sort wrt. theory name;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 14:10:52 +0200 |
wenzelm |
more flexible sorting;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2011 22:10:07 +0200 |
wenzelm |
crude display of node status;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2011 17:36:10 +0200 |
wenzelm |
some support for theory status overview;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2011 20:24:12 +0200 |
wenzelm |
discontinued "Interrupt", which could disturb administrative tasks of the document model;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2011 13:55:32 +0200 |
wenzelm |
editable raw text areas: allow user to clear content;
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 21:53:27 +0200 |
wenzelm |
echo prover input via raw_messages, for improved protocol tracing;
|
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
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
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
|