isabelle: File revisions

lib/scripts/feeder

2010-11-03	wenzelm	feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu);	file \| diff \| annotate
2008-12-20	wenzelm	removed Ids;	file \| diff \| annotate
2008-04-08	wenzelm	removed obsolete AUTO_PERL feature;	file \| diff \| annotate
2005-04-26	wenzelm	restored AUTO_BASH/PERL -- beware of ./configure!	file \| diff \| annotate
2004-06-21	kleing	Merged in license change from Isabelle2004	file \| diff \| annotate
2002-04-03	oheimb	bugfix concerning claset(), added limited support for ALLGOALS + fast_tac etc.	file \| diff \| annotate
2001-11-08	wenzelm	got rid of obsolete input filtering;	file \| diff \| annotate
2000-11-30	wenzelm	/usr/bin/env bash;	file \| diff \| annotate
2000-11-22	wenzelm	tuned;	file \| diff \| annotate
2000-09-01	wenzelm	GPLed;	file \| diff \| annotate
1999-01-12	wenzelm	configure AUTO_BASH, AUTO_PERL;	file \| diff \| annotate
1997-12-31	wenzelm	removed -i option;	file \| diff \| annotate
1997-12-29	wenzelm	feed isabelle session;	file \| diff \| annotate

isabelle