1.1 --- a/etc/symbols Sat Dec 20 11:39:34 2008 +0100 1.2 +++ b/etc/symbols Sat Dec 20 11:55:34 2008 +0100 1.3 @@ -1,4 +1,3 @@ 1.4 -# $Id$ 1.5 # Default interpretation of some Isabelle symbols 1.6 1.7 \<zero> code: 0x01d7ec font: Isabelle