From 6a9d3058e006dd826203262105adc604091326b8 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Mon, 28 Feb 2011 10:10:37 +0000 Subject: - adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-doc --- coq/ex/test-cases/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/ex') diff --git a/coq/ex/test-cases/README b/coq/ex/test-cases/README index b89cc230..2163c915 100644 --- a/coq/ex/test-cases/README +++ b/coq/ex/test-cases/README @@ -11,7 +11,7 @@ add-load-path-unsupported Add LoadPath is not supported multiple-files-multiple-dir - working with multiple files in a multiple directories + working with multiple files in multiple directories multiple-files-single-dir working with multiple files in a single directory -- cgit v1.2.3