Quelle mapclass.xml Sprache: XML

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE Book SYSTEM "gapdoc.dtd">





<Book Name="MapClass">

    <TitlePage>
        <Title>MapClass</Title>
        <Author> Adam James
        </Author>
        <Author> Kay Magaard
        </Author>
        <Author> Sergey Shpectorov
            <Email>s.shpectorov@bham.ac.uk</Email>
        </Author>
        <Author> Helmut Völklein
        </Author>
        <Date>September 2018</Date>
        <Copyright> ©right; 2004-2018 by Adam James, Kay Magaard
          Sergey Shpectorov, and Helmut Völklein <P/>
          MapClass 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 2 of the License, or (at your
          option) any later version. For details, see the file 'GPL' in the
          'etc' directory of the GAP distribution or see the FSF's own
          site.</Copyright>
    </TitlePage>

    <TableOfContents/>

    <Body>
        <#Include SYSTEM "intro.xml">
    </Body>
    <Appendix><Heading>Installation</Heading>
        To install the package place the <F>MapClass</F> folder into your GAP system's
        <F>pkg</F> directory. If you do not have permission to modify the gap package
        then the package can be included by appending a local directory to GAP's
        root directory using the <C>-l</C> flag. For more information on GAP's root
        directory process try <C>?GAP root</C> in a GAP session. Or see the
        <URL Text="online help">https://docs.gap-system.org/doc/ref/chap9.html#X7A4973627A5DB27D</URL>.
        <P/>
        To load the package simply type <C>LoadPackage("mapclass");</C>. If the load
        has been successful the package banner will be shown.
    </Appendix>

    <Bibliography Databases="bib" />
    <TheIndex/>
</Book>

Messung V0.5

¤ Dauer der Verarbeitung: 0.3 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.