coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Add many more cases to the test-suite	Jason Gross	2014-06-10
	I'd add more, but I'm tired and it's late and I should sleep. Maybe I'll pick up at 3279 (working down) another day. Bug 3344 is broken; [Fail Defined.] says that [Defined] has not failed, even though it raises an anomaly. So there's no way I can think of to test it. I've left it in the [opened] directory anyway.