lib/scripts/feeder.pl
2008-12-20 wenzelm 2008-12-20 removed Ids;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-09 wenzelm 2001-11-09 got rid of obsolete input filtering;
2000-09-15 wenzelm 2000-09-15 updated;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-02-12 oheimb 1999-02-12 renamed space2 to spacespace
1997-12-31 wenzelm 1997-12-31 removed -i option;
1997-12-29 wenzelm 1997-12-29 feed isabelle session;