diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ VERSION=7.00 VERSIONSI=1.0 -DATE="December 1999" +DATE="November 2000" # a local which command for sh which () { |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |