From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Tue, 9 Jan 2018 19:46:47 +0000 (+0100)
Subject: helena: warning removed and modifications for λΥP exportation
X-Git-Tag: make_still_working~373
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9b1b59a049935f5382ed7def91b807bbf9453894

helena: warning removed and modifications for λΥP exportation
---

diff --git a/.gitignore b/.gitignore
index 6671ac4fd..78b201214 100644
--- 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 0c4a2abbd..9870a85bb 100644
--- 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 71e55ecec..cdf88c308 100644
--- 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