From: Ferruccio Guidi Date: Mon, 7 Dec 2020 19:44:36 +0000 (+0100) Subject: λδ site update X-Git-Tag: make_still_working~173 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9bdda2beaa7b0f836e3700a2e2458761e8eee06d;p=helm.git λδ site update + another Unicode character sponsored + Helena: minor updates + Ground: minor updates --- diff --git a/helm/software/helena/src/common/layer.ml b/helm/software/helena/src/common/layer.ml index 82300931b..c0b6bcc19 100644 --- a/helm/software/helena/src/common/layer.ml +++ b/helm/software/helena/src/common/layer.ml @@ -39,7 +39,7 @@ let warn s = L.warn (pred level) s let zero = Fin 0 let string_of_value k = function - | Inf -> "" + | Inf -> "-" | Fin i -> string_of_int i | Ref (k, i) -> "-" ^ P.string_of_mark k ^ "-" ^ string_of_int i | Unk -> "-" ^ P.string_of_mark k diff --git a/helm/software/helena/src/toplevel/helena.ml b/helm/software/helena/src/toplevel/helena.ml index 63a8c0621..10c9f0f7f 100644 --- a/helm/software/helena/src/toplevel/helena.ml +++ b/helm/software/helena/src/toplevel/helena.ml @@ -386,7 +386,7 @@ END IFDEF MANAGER THEN -let set_manager s = match KS.lowercase s with +let set_manager s = match KS.lowercase_ascii s with | "v8" -> G.manager := G.Coq | "ma2" -> G.manager := G.Matita | "lp1" -> G.manager := G.LP1 diff --git a/helm/www/lambdadelta/images/bronze-03C7.png b/helm/www/lambdadelta/images/bronze-03C7.png new file mode 100644 index 000000000..f33b0a8fe Binary files /dev/null and b/helm/www/lambdadelta/images/bronze-03C7.png differ diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml index fffcc806a..11b564b99 100644 --- a/helm/www/lambdadelta/web/home/home.ldw.xml +++ b/helm/www/lambdadelta/web/home/home.ldw.xml @@ -41,6 +41,7 @@ + diff --git a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma index 81d324bad..d62edd8ed 100644 --- a/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma +++ b/matita/matita/contribs/lambdadelta/ground/lib/exteq.ma @@ -36,4 +36,3 @@ lemma exteq_sym (A) (B): symmetric … (exteq A B). lemma exteq_trans (A) (B): Transitive … (exteq A B). /2 width=1 by exteq_repl/ qed-. -