helena: warning removed and modifications for λΥP exportation

diff --git a/.gitignore b/.gitignore
index 6671ac4fd4c68a1003bdbc9ef24b8e1604d88bf5..78b201214279c82122d93765d8f8539e6cc58238 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -36,6 +36,9 @@ matita/matita/matitaclean.opt
 matita/matita/help/C/version.txt
 
 helm/software/helena/matita
+helm/software/helena/scripts/lp/grundlagen_2b_lyp.elpi
+helm/software/helena/scripts/cc
+helm/software/helena/etc
 
 matita/matita/contribs/lambdadelta/token
 matita/matita/contribs/lambdadelta/2A1

diff --git a/helm/software/helena/src/basic_rg/brgLYP.ml b/helm/software/helena/src/basic_rg/brgLYP.ml
index 0c4a2abbd384f4a48073d84359555b1f5f4387ac..9870a85bb861a50da176e9dde318f7f963caa7d5 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgLYP.ml
+++ b/helm/software/helena/src/basic_rg/brgLYP.ml
@@ -26,7 +26,7 @@ IFDEF MANAGER THEN
 
 let version = KP.sprintf "This file was generated by %s: do not edit" (G.version_string true)
 
-let affiliation = "This file is part of the LYP engine"
+let affiliation = "This file is part of the λΥP engine"
 
 let description = "This file contains the Grundlagen for lyp_global: validate by invoking clause (grundlagen)"
 

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index 71e55ececb796ea00dbfe30c05d5b51a696ee5e4..cdf88c308df83927b8309dc7c227a44f5d6689bf 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -26,7 +26,9 @@ type manager = Quiet
              | LP2    (* elpi helena *)
              | TJ2    (* teyjus helena *)
              | TJ3    (* teyjus helena *)
+(*
              | CC0    (* elpi cic *)
+*)
              | LYP    (* elpi lyp *)
 
 END