isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

Admin/isatest-makedist

2006-02-02	kleing	add 64bit atbroy98 platform	file \| diff \| annotate
2005-09-21	isatest	only show trunk in Changelog (kleing)	file \| diff \| annotate
2005-06-30	kleing	test sml-dev on mac as well	file \| diff \| annotate
2005-06-25	kleing	switch mac test to macbroy5	file \| diff \| annotate
2005-05-26	kleing	put global isatest settings in one file, sourced by the other scripts	file \| diff \| annotate
2005-05-23	haftmann	added email	file \| diff \| annotate
2005-05-08	wenzelm	MAILTO: makarius@sketis.net	file \| diff \| annotate
2005-04-26	isatest	test sml/nj devel only for the moment	file \| diff \| annotate
2005-04-22	isatest	run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around	file \| diff \| annotate
2005-04-21	isatest	wakeonlan for macbroy33	file \| diff \| annotate
2005-04-21	kleing	test stable and devel version of smlnj	file \| diff \| annotate
2005-01-13	berghofe	Added ChangeLog	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	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

less more (0) tip

isabelle

RSS Atom