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 3 hr 0 min on worker2

#10 (Feb 13, 2016, 3:30:29 PM)

	No changes.
	Started by upstream project "isabelle-repo-checkin" build number 10
	Revision: 658276428cfc6d08a4388e8c5fe7031ad879697e
	Revision: f20c53fef2a5d14802f3712d14374f74022e3ef7