diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/feeder.pl
--- a/lib/scripts/feeder.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/feeder.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # feeder.pl - feed isabelle session