products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/.idea/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: XML

Original von: Isabelle©
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="DependencyValidationManager">
    <scope name="jEdit Sourcefiles" pattern="file[jEdit]:org//*.java" />
    <scope name="Modes" pattern="file[jEdit]:modes//*.xml" />
    <scope name="Macros" pattern="file[jEdit]:macros//*.bsh" />
    <option name="SKIP_IMPORT_STATEMENTS" value="false" />
  </component>
  <component name="EntryPointsManager">
    <entry_points version="2.0" />
  </component>
  <component name="IdProvider" IDEtalkID="F2207F966C6969E072D5CD57D729D7EA" />
  <component name="JavadocGenerationManager">
    <option name="OUTPUT_DIRECTORY" />
    <option name="OPTION_SCOPE" value="protected" />
    <option name="OPTION_HIERARCHY" value="true" />
    <option name="OPTION_NAVIGATOR" value="true" />
    <option name="OPTION_INDEX" value="true" />
    <option name="OPTION_SEPARATE_INDEX" value="true" />
    <option name="OPTION_DOCUMENT_TAG_USE" value="false" />
    <option name="OPTION_DOCUMENT_TAG_AUTHOR" value="false" />
    <option name="OPTION_DOCUMENT_TAG_VERSION" value="false" />
    <option name="OPTION_DOCUMENT_TAG_DEPRECATED" value="true" />
    <option name="OPTION_DEPRECATED_LIST" value="true" />
    <option name="OTHER_OPTIONS" value="" />
    <option name="HEAP_SIZE" />
    <option name="LOCALE" />
    <option name="OPEN_IN_BROWSER" value="true" />
  </component>
  <component name="NullableNotNullManager">
    <option name="myDefaultNullable" value="org.jetbrains.annotations.Nullable" />
    <option name="myDefaultNotNull" value="org.jetbrains.annotations.NotNull" />
    <option name="myNullables">
      <value>
        <list size="3">
          <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.Nullable" />
          <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nullable" />
          <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.Nullable" />
        </list>
      </value>
    </option>
    <option name="myNotNulls">
      <value>
        <list size="3">
          <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.NotNull" />
          <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nonnull" />
          <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.NonNull" />
        </list>
      </value>
    </option>
  </component>
  <component name="ProjectDetails">
    <option name="projectName" value="jEdit" />
  </component>
  <component name="ProjectResources">
    <default-html-doctype>http://www.w3.org/1999/xhtml</default-html-doctype>
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_6" assert-keyword="true" jdk-15="true" project-jdk-name="1.6" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/build/idea" />
  </component>
  <component name="SvnBranchConfigurationManager">
    <option name="myConfigurationMap">
      <map>
        <entry key="$PROJECT_DIR$">
          <value>
            <SvnBranchConfiguration>
              <option name="branchMap">
                <map>
                  <entry key="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches">
                    <value>
                      <list>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1218396639209" />
                          <option name="revision" value="13258" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches/docking_framework" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1176951697724" />
                          <option name="revision" value="9462" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches/jedit43_nostrings" />
                        </SvnBranchItem>
                      </list>
                    </value>
                  </entry>
                  <entry key="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags">
                    <value>
                      <list>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1226862920462" />
                          <option name="revision" value="14070" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre16" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1224211014440" />
                          <option name="revision" value="13896" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre15" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1209312241226" />
                          <option name="revision" value="12514" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre14" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1205435718427" />
                          <option name="revision" value="12215" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre13" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1197063574015" />
                          <option name="revision" value="11207" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre12" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1191436781626" />
                          <option name="revision" value="10791" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre11" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1184190109800" />
                          <option name="revision" value="10009" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre10" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172940160439" />
                          <option name="revision" value="9074" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172938815897" />
                          <option name="revision" value="9072" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-3-2-2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172934922377" />
                          <option name="revision" value="9070" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-final" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172934620160" />
                          <option name="revision" value="9069" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172934093879" />
                          <option name="revision" value="9068" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172933950791" />
                          <option name="revision" value="9067" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172930175040" />
                          <option name="revision" value="9066" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre12" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172929632216" />
                          <option name="revision" value="9065" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172929477203" />
                          <option name="revision" value="9064" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172929096756" />
                          <option name="revision" value="9063" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1169312622101" />
                          <option name="revision" value="8692" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1163001311391" />
                          <option name="revision" value="7992" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1159851355117" />
                          <option name="revision" value="7163" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1155747706518" />
                          <option name="revision" value="6701" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152311295000" />
                          <option name="revision" value="5556" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/after_bsh-2-0b4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152266138000" />
                          <option name="revision" value="5554" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before_bsh-2-0b4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152181828000" />
                          <option name="revision" value="5542" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152180149000" />
                          <option name="revision" value="5540" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152122425000" />
                          <option name="revision" value="5531" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1150397246000" />
                          <option name="revision" value="5442" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit_43_with_gnuregexp_microstarxml" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1147475209000" />
                          <option name="revision" value="5388" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1136173007000" />
                          <option name="revision" value="5329" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1110595434000" />
                          <option name="revision" value="5202" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1108074918000" />
                          <option name="revision" value="5182" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before-fast-scroll" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1104528786000" />
                          <option name="revision" value="5165" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1094326374000" />
                          <option name="revision" value="5129" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before-selection-manager" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1094264677000" />
                          <option name="revision" value="5124" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before-screen-line-refactoring" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1093748323000" />
                          <option name="revision" value="5111" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-final" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1090047563000" />
                          <option name="revision" value="5085" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre15" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1086297068000" />
                          <option name="revision" value="5058" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre14" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1084575691000" />
                          <option name="revision" value="5043" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre13" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1079804107000" />
                          <option name="revision" value="5002" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre11" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1079764835000" />
                          <option name="revision" value="5000" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre10" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1072501334000" />
                          <option name="revision" value="4944" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/beanshell-2-0b1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1070236854000" />
                          <option name="revision" value="4927" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1067201848000" />
                          <option name="revision" value="4907" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1061570577000" />
                          <option name="revision" value="4867" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/crazy-pos-mgr" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1059967153000" />
                          <option name="revision" value="4844" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1058223654000" />
                          <option name="revision" value="4827" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/bsh-13b2-merge" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1057542014000" />
                          <option name="revision" value="4821" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1054263177000" />
                          <option name="revision" value="4749" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1052174343000" />
                          <option name="revision" value="4685" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/beanshell-1-3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1051837211000" />
                          <option name="revision" value="4676" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045976885000" />
                          <option name="revision" value="4511" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/macos-2_0_4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045871364000" />
                          <option name="revision" value="4508" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre11" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045820614000" />
                          <option name="revision" value="4504" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/macos-2_0_3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045271361000" />
                          <option name="revision" value="4482" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre10" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1043802516000" />
                          <option name="revision" value="4451" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1042258598000" />
                          <option name="revision" value="4425" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1037919166000" />
                          <option name="revision" value="4380" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1029873100000" />
                          <option name="revision" value="4318" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1024812657000" />
                          <option name="revision" value="4284" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1024133719000" />
                          <option name="revision" value="4256" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1018587320000" />
                          <option name="revision" value="4140" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-final" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1017715362000" />
                          <option name="revision" value="4125" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1017050868000" />
                          <option name="revision" value="4114" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1015742549000" />
                          <option name="revision" value="4084" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1014103275000" />
                          <option name="revision" value="4052" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1012890490000" />
                          <option name="revision" value="4013" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1011744082000" />
                          <option name="revision" value="3993" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre4" />
                        </SvnBranchItem>
                      </list>
                    </value>
                  </entry>
                </map>
              </option>
              <option name="branchUrls">
                <list>
                  <option value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches" />
                  <option value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags" />
                </list>
              </option>
              <option name="trunkUrl" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk" />
            </SvnBranchConfiguration>
          </value>
        </entry>
      </map>
    </option>
    <option name="myVersion" value="124" />
    <option name="mySupportsUserInfoFilter" value="true" />
  </component>
  <component name="VcsRevisionGraphProjectComponent">
    <option name="_useTwoTagConvention" value="true" />
    <option name="_showTags" value="true" />
    <option name="_tagNaming" value="TAG_$T_MERGE_$S_TO_$D" />
    <option name="_tagFilter" value="" />
    <option name="_branchFilter" />
    <option name="_showRevisionFilter" value="false" />
    <option name="_afterDateTimeFilter" value="false" />
    <option name="_beforeDateTimeFilter" value="false" />
    <option name="_afterDateTime" value="" />
    <option name="_beforeDateTime" value="" />
    <option name="_projectRoot" value="<Use repository root>" />
    <option name="_trunk" value="trunk" />
    <option name="_branches" value="branches" />
    <option name="_tags" value="tags" />
    <option name="_showTagFilter" value="false" />
    <option name="_showBranchFilter" value="false" />
  </component>
  <component name="WebServicesPlugin" addRequiredLibraries="true" />
</project>


¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤



zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
sprechenden Kalenders

in der Quellcodebibliothek suchen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff