X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2FmatitaTypes.mli;h=4dfb7c790df36908d1f417a4a8a8237581b22ec8;hb=5fa31e43ffe25aa7b1539653b137968b5cf9899a;hp=20d04259678f84937d097f731ea07c75bea9d238;hpb=c2957e84a0fa8fe60bbbe89f4923a50bd626444d;p=helm.git

diff --git a/helm/software/matita/matitaTypes.mli b/helm/software/matita/matitaTypes.mli
index 20d042596..4dfb7c790 100644
--- a/helm/software/matita/matitaTypes.mli
+++ b/helm/software/matita/matitaTypes.mli
@@ -25,7 +25,8 @@
 
 exception Cancel
 
-type abouts = [ `Blank | `Current_proof | `Us | `Coercions | `CoercionsFull]
+type abouts = [ `Blank | `Current_proof | `Us | `Coercions 
+ | `CoercionsFull | `TeX | `Grammar]
 
 type mathViewer_entry =
   [ `About of abouts