From 887533080d932de82cc638fa5096b3cb07d8f2f6 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Sat, 21 Dec 2019 15:09:59 -0500
Subject: Changes frome chromebook

---
 emacs/inits/25-theorems.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'emacs/inits/25-theorems.el')

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"
-- 
cgit v1.2.3