| Fri, 26 Aug 2011 22:25:41 +0200 |
wenzelm |
back to tradition Scratch.thy default -- execution wrt. perspective overcomes the main problems of 226563829580;
|
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
|
| Thu, 23 Jun 2011 17:17:40 +0200 |
wenzelm |
simplified arrangement of jars;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 00:03:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 20:12:59 +0200 |
wenzelm |
explicit dependency on Pure.jar;
|
file |
diff |
annotate
|
| Wed, 15 Jun 2011 21:22:51 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Wed, 15 Jun 2011 15:08:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 21:41:00 +0200 |
wenzelm |
include scala mode;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 13:34:27 +0200 |
wenzelm |
more explicit check of dependencies;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 11:36:08 +0200 |
wenzelm |
separate module for text area painting;
|
file |
diff |
annotate
|
| Sun, 12 Jun 2011 20:08:49 +0200 |
wenzelm |
separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;
|
file |
diff |
annotate
|
| Sun, 12 Jun 2011 16:19:29 +0200 |
wenzelm |
check source dependencies only if jedit_build component is available;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 10:59:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 22:06:05 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 21:40:54 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 21:29:49 +0200 |
wenzelm |
further jedit build option;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 20:58:51 +0200 |
wenzelm |
build jedit as part of regular startup script (in that case depending on jedit_build component);
|
file |
diff |
annotate
| base
|