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 12 min on worker4

#105 (Mar 23, 2016, 10:26:18 PM)

	No changes.
	Started by upstream project isabelle-repo build number 105
	Revision: e3ca8dc01c4f0ef774a72b71e3e765ad8a7fe2cb