coq/test-suite/bugs/closed/bug_4836, branch master

coq/test-suite/bugs/closed/bug_4836, branch master The formal proof system Add a test for 4836 2016-09-11T22:57:21+00:00 Jason Gross 2016-06-18T23:07:42+00:00 650550fc95d5ba41da84e2003371522221e27734 This required improving the machinery of the test-suite Makefile to support -compile.

This required improving the machinery of the test-suite Makefile to
support -compile.