| Thu, 22 Jul 2010 22:50:35 +0200 |
wenzelm |
refrain from generating <hr/> and from "hiding" it in isabelle.css -- the latter might be used in other situations as well;
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 22:39:31 +0200 |
wenzelm |
generic external source files -- nothing special about ML here;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 14:14:30 +0200 |
wenzelm |
markup non-identifier keyword as operator;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:10:11 +0200 |
wenzelm |
refrain from using bold within the term language -- looks odd in Lobo with error/warning background;
|
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, 18 Dec 2009 15:32:52 +0100 |
wenzelm |
imitate PG style;
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 15:11:01 +0100 |
wenzelm |
imitate PG colors;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2009 16:39:49 +0100 |
wenzelm |
added markup for hidden text;
|
file |
diff |
annotate
|
| Fri, 02 Jan 2009 19:38:14 +0100 |
wenzelm |
updated rendering of inner token markup;
|
file |
diff |
annotate
|
| Wed, 13 Aug 2008 20:57:16 +0200 |
wenzelm |
removed obsolete theorems;
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 19:22:05 +0200 |
wenzelm |
tuned error faces;
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 00:46:48 +0200 |
wenzelm |
tuned comment markup;
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 23:29:35 +0200 |
wenzelm |
added some markup for outer syntax;
|
file |
diff |
annotate
|
| Sat, 07 Jul 2007 00:14:49 +0200 |
wenzelm |
added class skolem, command;
|
file |
diff |
annotate
|
| Sun, 28 Aug 2005 19:46:49 +0200 |
wenzelm |
added 'loc';
|
file |
diff |
annotate
|
| Mon, 12 Apr 2004 23:53:53 +0200 |
kleing |
use css in generated web pages
|
file |
diff |
annotate
|