lib/scripts/feeder
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_PERL feature;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure!
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-04-03 oheimb 2002-04-03 bugfix concerning claset(), added limited support for ALLGOALS + fast_tac etc.
2001-11-09 wenzelm 2001-11-09 got rid of obsolete input filtering;
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-01-12 wenzelm 1999-01-12 configure AUTO_BASH, AUTO_PERL;
1997-12-31 wenzelm 1997-12-31 removed -i option;
1997-12-29 wenzelm 1997-12-29 feed isabelle session;