X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FREADME;h=3a7b77d677e981991f5eec58f143bef8ee0d032e;hp=37f553a25541c302e6993356d2aa72713f4bd258;hb=88977b2d546e547e23b046792fe2ad8f6ff192a4;hpb=fdb80b08af83b86759833142456ce3c4f84cd80e

diff --git a/helm/software/helena/README b/helm/software/helena/README
index 37f553a25..3a7b77d67 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-cc0 export-lyp
 
 * Type "make profile.opt" or "make profile.byte"
   to validate the "grundlagen" 31 times (two runs each time)