Status

Changes

Console Output

View as plain text

View Build Information

Environment Variables

Mercurial Build Data

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 4 mo ago

Took 2 hr 56 min on worker2

#42 (Feb 26, 2016, 10:17:17 PM)

	No changes.
	Started by upstream project "isabelle-repo-checkin" build number 42
	Revision: 25271ff79171c7a51182bf99f19decf241fed9fa
	Revision: 6e4cc77be100acf89e923da1e3ee7f1b4e1750d5