products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/FAQ/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: faq.xml   Sprache: XML

Original von: Isabelle©
<?xml version="1.0" encoding="UTF-8"?>
<!-- jEdit buffer-local properties:                       -->
<!-- :indentSize=2   -->
<!-- jEdit FAQ                                            -->
<!-- Command line for processing:                         -->
<!--                                                      -->
<!-- xsltproc -xinclude -output .\html\ faq.xsl faq.xml  -->
<article class="faq" id="faq"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xi="http://www.w3.org/2001/XInclude"  xsi:noNamespaceSchemaLocation='http://www.docbook.org/xsd/4.4/docbook.xsd'>
    <articleinfo>

        <author>
           <othername> The jEdit Community </othername>
        </author>

        <legalnotice>
            <title>Legal Notice</title>

            <para>Permission is granted to copy, distribute and/or modify this
            document under the terms of the GNU Free Documentation License,
            Version 1.1 or any later version published by the Free Software
            Foundation; with no <quote>Invariant Sections</quote>,
            <quote>Front-Cover Texts</quote> or <quote>Back-Cover Texts</quote>,
            each as defined in the license. A copy of the license is contained
            in the file <filename>COPYING.DOC.txt</filename> included with
            jEdit.</para>
        </legalnotice>

        <title>jEdit Frequently Asked Questions</title>

        <revhistory>
            <!--       <revision>
        <revnumber>0.1</revnumber>
        <date>Sept. 23, 2001</date>
        <revremark>Initial draft.</revremark>
     </revision>
      <revision>
        <revnumber>0.2</revnumber>
        <date>Sept. 25, 2001</date>
        <revremark>Sections 1-3 prepared.</revremark>
     </revision>
      <revision>
        <revnumber>0.3</revnumber>
        <date>Sept. 27, 2001</date>
        <revremark>Section 4 prepared.</revremark>
     </revision>
    <revision>
        <revnumber>0.4</revnumber>
        <date>Oct. 16, 2001</date>
        <revremark>Sections 1-4 completed.</revremark>
     </revision>
     <revision>
        <revnumber>0.5</revnumber>
        <date>Oct. 17, 2001</date>
        <revremark>Sections 1-5 completed.</revremark>
     </revision>

     <revision>
        <revnumber>0.6</revnumber>
        <date>Oct. 31, 2001</date>
        <revremark>Sections 1-5 completed; section 6 begun.</revremark>
     </revision>
    <revision>
      <revnumber>0.7</revnumber>
      <date>Jan. 15, 2002</date>
      <revremark>Inclusion of material from jEdit Community
      Interactive FAQ</revremark>
    </revision>
-->

            <revision>
                <revnumber>0.8</revnumber>
                <date>2001,2002</date>
                <author> <firstname>John</firstname> <surname>Gellene</surname> </author>
                <revremark>Initial HTML FAQ, revisions for jEdit 4.0 release</revremark>

            </revision>

            <revision>
                <revnumber>1.0</revnumber>
                <date>2003</date>
                <author> <firstname>Kris</firstname> <surname>Kopicki</surname></author>
                <revremark>First docbook version, & additions for jEdit 4.1 release</revremark>

            </revision>

            <revision>
                <revnumber>1.4</revnumber>
                <date>2006,2017</date>
                <author> <firstname>Alan </firstname> <surname>Ezust </surname></author>
                <revremark>Updates for jEdit 4.3-5.5 releases</revremark>
            </revision>
        </revhistory>

        <releaseinfo><emphasis>Note: </emphasis> This document incorporates some
        material from the Interactive FAQ section of the <ulink
        url="http://community.jedit.org/modules.php?op=modload&name=faq&file=index">jEdit
        Community web site</ulink>.</releaseinfo>
    </articleinfo>

    <xi:include href="faq-intro.xml" />
    <xi:include href="faq-general.xml" />
    <xi:include href="faq-install.xml" />
    <xi:include href="faq-use.xml" />
    <xi:include href="faq-macros.xml" />
    <xi:include href="faq-plugins.xml" />
    <xi:include href="faq-problems.xml" />
    <xi:include href="faq-contrib.xml" />
</article>

¤ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ¤



Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




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 ist noch experimentell.


Bot Zugriff