isabelle: File revisions

Admin/CHECKLIST

2009-11-21	wenzelm	tuned;	file \| diff \| annotate
2009-05-31	wenzelm	discontinued support for Poly/ML 4.x versions;	file \| diff \| annotate
2009-04-14	wenzelm	misc updates for Isabelle2009;	file \| diff \| annotate
2009-04-02	wenzelm	misc tuning for release;	file \| diff \| annotate
2009-03-01	wenzelm	discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;	file \| diff \| annotate
2008-12-03	wenzelm	eliminated traces of old Distribution directory;	file \| diff \| annotate
2008-07-17	wenzelm	tuned;	file \| diff \| annotate
2008-05-29	wenzelm	tuned;	file \| diff \| annotate
2008-05-28	wenzelm	tuned;	file \| diff \| annotate
2007-12-05	wenzelm	check persistent sessions;	file \| diff \| annotate
2007-11-13	wenzelm	some more items;	file \| diff \| annotate
2007-10-30	haftmann	adjusted	file \| diff \| annotate
2007-10-27	haftmann	ASCIIfied README	file \| diff \| annotate
2007-10-24	wenzelm	tuned;	file \| diff \| annotate
2007-10-06	wenzelm	some updates;	file \| diff \| annotate
2007-09-18	haftmann	clarified remark	file \| diff \| annotate
2005-06-09	haftmann	added CONTRIBUTORS	file \| diff \| annotate
2005-04-21	kleing	updated, added Admin/page after-release maintenance	file \| diff \| annotate
2002-08-05	wenzelm	updated;	file \| diff \| annotate

isabelle