From 1763ec847d4e9b0213d7c18ecbd4a788c00994a5 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 2 Jul 2008 17:54:41 +0000
Subject: [PATCH] svn:ignore set on LambdaDelta-2

---
 helm/software/matita/matita.lang | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index bcad516e0..3c9b1fa79 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -84,6 +84,7 @@
   <keyword-list _name = "Tactics" style = "Others 2" case-sensitive="TRUE">
     <keyword>absurd</keyword>
     <keyword>apply</keyword>
+    <keyword>applyP</keyword>
     <keyword>assumption</keyword>
     <keyword>autobatch</keyword>
     <keyword>cases</keyword>
-- 
2.39.2