From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 2 Jul 2008 17:54:41 +0000 (+0000)
Subject: svn:ignore set on LambdaDelta-2
X-Git-Tag: make_still_working~4965
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1763ec847d4e9b0213d7c18ecbd4a788c00994a5;p=helm.git

svn:ignore set on LambdaDelta-2
---

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>