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