isabelle: File revisions

Admin/isatest-check

2005-06-02	kleing	reduced timeout, send logs also when test taking too long	file \| diff \| annotate
2005-05-26	kleing	put global isatest settings in one file, sourced by the other scripts	file \| diff \| annotate
2005-05-08	wenzelm	MAILTO: makarius@sketis.net	file \| diff \| annotate
2005-04-30	isatest	export DISTPREFIX to devel page Makefile	file \| diff \| annotate
2005-04-29	kleing	move isadist to ~/tmp/	file \| diff \| annotate
2004-06-21	kleing	Merged in license change from Isabelle2004	file \| diff \| annotate
2003-08-27	skalberg	Added skalberg to recepients, changed admin from kleing to berghofe.	file \| diff \| annotate
2003-05-18	kleing	fix typo	file \| diff \| annotate
2003-05-18	kleing	attach log files	file \| diff \| annotate
2003-05-18	kleing	attach log files	file \| diff \| annotate
2003-05-09	kleing	only make development snapshots for successful tests	file \| diff \| annotate
2003-05-09	kleing	fixes	file \| diff \| annotate
2003-05-09	kleing	var/run -> var/running	file \| diff \| annotate
2003-05-09	kleing	typo	file \| diff \| annotate
2003-05-09	kleing	check for error log, send mail if exists	file \| diff \| annotate

isabelle