diff options
Diffstat (limited to 'emacs/inits/25-theorems.el')
| -rw-r--r-- | emacs/inits/25-theorems.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el index ed3619d..614a4b2 100644 --- a/emacs/inits/25-theorems.el +++ b/emacs/inits/25-theorems.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2019-09-11 13:59:30 (tslil@basingstoke)> +;; Time-stamp: <2019-09-18 11:36:11 (tslil@basingstoke)> ;; ----------------------------------------------------------------------------- ;; Coq @@ -39,7 +39,7 @@ "-indices-matter" "-type-in-type" "-w" "-notation-overridden" "-Q" "/home/tslil/theorems/coq/UniMath/UniMath" "UniMath" - "-Q" "/home/tslil/academic/proof_relevant_cats/formalisation" "wCats")) + "-Q" "/home/tslil/academic/proof_relevant_cats/formalisation" "PRCats")) ("HoTT" :topdir "~/theorems/coq/HoTT/" :binary "hoqtop" |