Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 2 mo ago

Took 1 hr 14 min on worker2

#137 (Apr 8, 2016, 9:11:18 PM)

	No changes.
	Started by upstream project isabelle-repo build number 137
	Revision: 930a30c1a9af8abd0c17b8db2ad9ef4d3a2beda7