diff options
| author | tslil clingman <> | 2019-12-21 15:09:59 -0500 |
|---|---|---|
| committer | tslil clingman <> | 2019-12-21 15:09:59 -0500 |
| commit | 887533080d932de82cc638fa5096b3cb07d8f2f6 (patch) | |
| tree | 179752b448427d80e5bcf1c24cd4182d07bac8c2 /emacs/inits/25-theorems.el | |
| parent | 29744f4ade9e94f55d6deb4de72498ee537f87b1 (diff) | |
Changes frome chromebook
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" |