Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 4 mo ago

Took 57 min on worker2

#40 (Feb 26, 2016, 12:17:25 PM)

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