diff options
author | Karl Berry <karl@freefriends.org> | 2021-02-09 18:23:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-02-09 18:23:15 +0000 |
commit | ced64dd4213d2314bc991d1870036073fdb7e75f (patch) | |
tree | c02cf9920277d0537bb7f1de86ebef95af61264f /Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m | |
parent | fbda3e6a5a2632166e1a3cb2c7113d0c8af5290d (diff) |
xml2pmx 2021-02-07
git-svn-id: svn://tug.org/texlive/trunk@57688 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m')
-rw-r--r-- | Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m b/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m index 72fe8401524..42da388c552 100644 --- a/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m +++ b/Build/source/utils/xml2pmx/xml2pmx-src/obsrc/Strings1.m @@ -1,5 +1,22 @@ MODULE Strings1; (** portable *) (* ejz, *) +(***************************************************************************) +(**************** Copyright 2015--2021 Dieter Gloetzel ********************) +(************************ Version016 multi platform ***********************) +(***************************************************************************) +(* This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see <http://www.gnu.org/licenses/>. *) + TYPE LONGINT = INTEGER; (** Strings is a utility module that provides procedures to manipulate strings. |