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 1 hr 11 min on worker4

#111 (Mar 26, 2016, 4:41:18 PM)

	No changes.
	Started by upstream project isabelle-repo build number 111
	Revision: d80b9f4990e4867dfe36310b5c70e5b615e91c55