diff options
| -rw-r--r-- | coq/test8.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/coq/test8.v b/coq/test8.v index c6ab8c59..caa82a0e 100644 --- a/coq/test8.v +++ b/coq/test8.v @@ -1,4 +1,6 @@ -Add LoadPath "/home/courtieu/coq/actual/ide". +(* -*- coding: utf-8; -*- *) + +Add LoadPath "/usr/lib/coq/ide". Require Import utf8. (* Printing of unicode notation, in *goals* *) |