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 13 min on worker2

#110 (Mar 25, 2016, 3:11:02 PM)

	No changes.
	Started by upstream project isabelle-repo build number 110
	Revision: 96f20d90c9894e3b720d4eda416e5e408d266f66