From 9b1b59a049935f5382ed7def91b807bbf9453894 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 9 Jan 2018 20:46:47 +0100 Subject: [PATCH] =?utf8?q?helena:=20warning=20removed=20and=20modification?= =?utf8?q?s=20for=20=CE=BB=CE=A5P=20exportation?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- .gitignore | 3 +++ helm/software/helena/src/basic_rg/brgLYP.ml | 2 +- helm/software/helena/src/common/options.ml | 2 ++ 3 files changed, 6 insertions(+), 1 deletion(-) 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 -- 2.39.2