--- a/lib/logo/isabelle_any.eps Thu Oct 01 18:30:44 1998 +0200
+++ b/lib/logo/isabelle_any.eps Thu Oct 01 20:33:01 1998 +0200
@@ -2166,16 +2166,17 @@
false eomode
[0 0 0 1] vc
vms
-1845.2293 2127.8588 m
-2045.9437 2127.8588 L
-2045.9437 1956.1412 L
-1845.2293 1956.1412 L
-1845.2293 2127.8588 L
-0.1417 w
-2 J
-2 M
-[0 0 0 0] vc
-s
+%white border -- disabled
+%1845.2293 2127.8588 m
+%2045.9437 2127.8588 L
+%2045.9437 1956.1412 L
+%1845.2293 1956.1412 L
+%1845.2293 2127.8588 L
+%0.1417 w
+%2 J
+%2 M
+%[0 0 0 0] vc
+%s
n
1950.8 2097.2 m
1958.8 2092.5 1967.3 2089 1975.5 2084.9 C