Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 3 mo ago

Took 55 min on worker3

#82 (Mar 12, 2016, 10:11:21 PM)

	No changes.
	Started by upstream project "isabelle-repo-checkin" build number 82
	Revision: b3f2b8c906a69e82dffbcc2d473c792191724b4c