--- 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