samples/delta.yml2
author Volker Birk <vb@pep-project.org>
Fri, 11 Oct 2019 22:56:23 +0200
changeset 35 5414b157613a
parent 0 76005e62091d
permissions -rw-r--r--
bug: textsectionu disappeared
decl delta alias Δ;
delta Δ="∂" Δ { "Δ" }