| Wed, 22 Sep 2010 16:03:57 +0200 |
wenzelm |
basic support for full document rendering;
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 13:52:24 +0200 |
wenzelm |
tuned signatures;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 16:24:22 +0200 |
wenzelm |
HTML.spans: explicit flag for preservation of original data (which would be turned into org.w3c.dom user data in XML.document_node);
|
file |
diff |
annotate
|
| Sun, 08 Aug 2010 14:22:54 +0200 |
wenzelm |
fixed odd runtime type error, which appears to have escaped the scala-2.8.0.final compiler;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 09:46:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 17:48:18 +0200 |
wenzelm |
reuse main view.font from jEdit;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 22:30:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 19:42:20 +0200 |
wenzelm |
rendering information and style sheets via settings;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 16:40:25 +0200 |
wenzelm |
observe additional isabelle-jedit.css for component and user;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:51:03 +0200 |
wenzelm |
HTML_Panel.handler as overridable method;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:16:01 +0200 |
wenzelm |
more systematic treatment of internal state, which belongs strictly to the main actor, not the Swing thread;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 21:10:03 +0200 |
wenzelm |
mutate displayed document synchronously in Swing thread, for improved robustness;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 21:07:05 +0200 |
wenzelm |
read style sheets only once;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 20:56:26 +0200 |
wenzelm |
handle component resize for output / HTML panel;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 16:22:50 +0200 |
wenzelm |
determine margin just before rendering -- proper reformatting when updating;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 13:54:31 +0200 |
wenzelm |
more systematic treatment of physical document wrt. font size etc.;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 11:44:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 11:36:30 +0200 |
wenzelm |
general Isabelle_System.try_read;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 12:50:00 +0200 |
wenzelm |
clarified Pretty.font_metrics;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 11:31:05 +0200 |
wenzelm |
format as topmost list of "divs", not just adjacent "spans" -- for proper line breaking;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 23:36:06 +0200 |
wenzelm |
more precise pretty printing based on actual font metrics;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 15:47:31 +0200 |
wenzelm |
support Isabelle plugin properties with defaults;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 23:36:47 +0200 |
wenzelm |
font size re-adjustment according to Lobo internals;
|
file |
diff |
annotate
|
| Sat, 08 May 2010 21:08:30 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 07 May 2010 22:00:23 +0200 |
wenzelm |
output symbolic pretty printing markup and format in the front end;
|
file |
diff |
annotate
|
| Tue, 30 Mar 2010 00:13:27 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta 1;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 23:00:05 +0100 |
wenzelm |
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
|
file |
diff |
annotate
| base
|