isabelle: File revisions

Admin/isatest-makedist

2003-05-18	kleing	more cleanup	file \| diff \| annotate
2003-05-15	kleing	give tests time to copy settings	file \| diff \| annotate
2003-05-09	kleing	only make development snapshots for successful tests	file \| diff \| annotate
2003-05-09	kleing	var/run -> var/running	file \| diff \| annotate
2003-05-09	kleing	add cleanup of old error log and test-still-running files	file \| diff \| annotate
2003-05-06	kleing	use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)	file \| diff \| annotate
2003-05-05	kleing	add mac test	file \| diff \| annotate
2003-04-06	kleing	run on sunbroy1, too	file \| diff \| annotate
2003-02-28	isatest	generate nightly devel snapshot	file \| diff \| annotate
2002-10-26	isatest	switched to atbroy51, removed markus from email list	file \| diff \| annotate
2002-07-30	isatest	changed date format for proper lexicographical ordering	file \| diff \| annotate
2002-07-15	isatest	mail address update	file \| diff \| annotate
2002-06-24	isatest	email sending	file \| diff \| annotate
2002-06-21	isatest	*cleanup old isabelle- dirs before test start**	file \| diff \| annotate
2002-06-20	isatest	tuned	file \| diff \| annotate
2002-06-20	kleing	tuned	file \| diff \| annotate
2002-06-20	kleing	for nightly test builds	file \| diff \| annotate

isabelle