isabelle: File revisions

Admin/isatest-makeall

2003-05-18	kleing	2003-05-18	attach log files	file \| diff \| annotate
2003-05-12	kleing	2003-05-12	be nice on sunbroy2	file \| diff \| annotate
2003-05-09	kleing	2003-05-09	tuned	file \| diff \| annotate
2003-05-09	kleing	2003-05-09	tuned	file \| diff \| annotate
2003-05-09	kleing	2003-05-09	tuned	file \| diff \| annotate
2003-05-09	kleing	2003-05-09	leave error messages in error.log, send only one email for all platforms	file \| diff \| annotate
2003-05-06	kleing	2003-05-06	use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)	file \| diff \| annotate
2003-04-25	kleing	2003-04-25	no need to be nice everywhere	file \| diff \| annotate
2003-04-06	kleing	2003-04-06	use 2 processors on sunbroy1	file \| diff \| annotate
2003-02-28	isatest	2003-02-28	case distinction on host for makefile flags	file \| diff \| annotate
2002-07-30	isatest	2002-07-30	- changed date format for proper lexicographical ordering - send tail of log in email	file \| diff \| annotate
2002-07-15	isatest	2002-07-15	mail address update	file \| diff \| annotate
2002-07-09	isatest	2002-07-09	send email plaform independently	file \| diff \| annotate
2002-06-24	isatest	2002-06-24	email sending	file \| diff \| annotate
2002-06-21	isatest	2002-06-21	included masterlog file	file \| diff \| annotate
2002-06-20	kleing	2002-06-20	tuned	file \| diff \| annotate
2002-06-20	kleing	2002-06-20	tuned	file \| diff \| annotate
2002-06-20	kleing	2002-06-20	for nightly test builds	file \| diff \| annotate

isabelle

RSS Atom