2014-06-13 - production
20:23	<bblack>	turned on amssq31-34 text frontends in esams	[production]