From 9cee04ea13b217c9b814dcd74c8ebf9f74ad77da Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 25 Jun 2020 14:03:57 +0200
Subject: [PATCH] vim: add tptp comments

---
 vimrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vimrc b/vimrc
index 03e5ae8..07e03b7 100644
--- a/vimrc
+++ b/vimrc
@@ -163,6 +163,7 @@ let g:haskell_conceal              = 0
 call tcomment#type#Define('nix', '# %s')
 call tcomment#type#Define('chaskell', '-- %s')
 call tcomment#type#Define('vala', '// %s')
+call tcomment#type#Define('tptp', '%% %s')
 
 au syntax tex setl iskeyword+=:
 au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>"