X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FREADME;h=1e7b2af63a49605db38b175da1d407d253b5ed71;hb=2976c347e18717e691825ebdf73a5ce941c57d1b;hp=37f553a25541c302e6993356d2aa72713f4bd258;hpb=25893b01cb815cbd9a3b9684952bfc0f42c0739d;p=helm.git

diff --git a/helm/software/helena/README b/helm/software/helena/README
index 37f553a25..1e7b2af63 100644
--- a/helm/software/helena/README
+++ b/helm/software/helena/README
@@ -43,7 +43,7 @@ TYPE       enable option -t (if unset, -t is disabled)
   xml-si xml-si-v3 xml xml-v3
   
 * Set at least F="MANAGER QUOTE" for targets:
-  export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3
+  export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3 export-pts export-lyp
 
 * Type "make profile.opt" or "make profile.byte"
   to validate the "grundlagen" 31 times (two runs each time)