isabelle: File revisions

README.html

2005-09-21	wenzelm	updated for Isabelle2005;	file \| diff \| annotate
2005-06-09	haftmann	a very little cleanup	file \| diff \| annotate
2005-03-07	webertj	HTML 4.01 Transitional conformity	file \| diff \| annotate
2004-11-12	webertj	added DOCTYPE and Content-Type declarations to make this a valid HTML file	file \| diff \| annotate
2004-04-19	paulson	fixed address	file \| diff \| annotate
2004-04-19	paulson	fixed address	file \| diff \| annotate
2004-04-18	kleing	updated Tobias' address	file \| diff \| annotate
2004-04-17	kleing	do not mention MLWorks and poly 3.x any more, they are untested	file \| diff \| annotate
2003-12-16	kleing	fixed PG link	file \| diff \| annotate
2003-05-12	kleing	smlnj link update, x-symbol/PG update	file \| diff \| annotate
2002-05-13	wenzelm	updated X-Symbol URL;	file \| diff \| annotate
2002-03-04	wenzelm	tuned;	file \| diff \| annotate
2001-09-26	wenzelm	updated;	file \| diff \| annotate
2001-02-15	wenzelm	tuned;	file \| diff \| annotate
2001-02-05	wenzelm	tuned;	file \| diff \| annotate

isabelle