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 51 min on worker2

#40 (Feb 26, 2016, 1:15:07 PM)

	No changes.
	Started by upstream project "isabelle-repo-checkin" build number 40
	Revision: 28d2c75dd180d58818fdf3eef36d47b052357f2b
	Revision: 23b42de0b3b580d29125a68015777edeb8c7910a