# HG changeset patch
# User wenzelm
# Date 907266781 -7200
# Node ID 12152ce11ce1638bf9fa7567d7aa9d4775cbc518
# Parent  5293b6f5c66c0161cd1f726fbb9b1199786a6821
white border -- disabled;

diff -r 5293b6f5c66c -r 12152ce11ce1 lib/logo/isabelle_any.eps
--- 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