Stufen
Anforderungen
|
Konzepte
|
Entwurf
|
Entwicklung
|
Qualitätssicherung
|
Lebenszyklus
|
Steuerung
Ziele
Untersuchung
mit Columbo
Integrität von
Datenbanken
Interaktion und
Portierbarkeit
Ergonomie der
Schnittstellen
Angebot
Produkte
Projekt
Beratung
Mittel
Analytik
Modellierung
Sprachen
Algebra
Logik
Hardware
Thinking
Intellekt
Zusammenhänge
Gesellschaft
Wirtschaft
Branche
Firma
products
/
sources
/
formale sprachen
/
Java
/
openjdk-20-36_src
/
src
/
jdk.jcmd
/
share
/
man
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: misc.xml Sprache: 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.Nullab
le"
/>
<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.NotNul
l"
/>
<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-keywo
rd=
"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/bra
nches/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/bra
nches/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/tag
s/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/jEdi
t/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.9 Sekunden (vorverarbeitet)
]
Neuigkeiten
Aktuelles
Motto des Tages
Software
Produkte
Quellcodebibliothek
Aktivitäten
Artikel über Sicherheit
Anleitung zur Aktivierung von SSL
Muße
Gedichte
Musik
Bilder
Jenseits des Üblichen ....
Besucherstatistik
Impressum
|
Ethik und Gesetz
|
Haftungsausschluß
|
Kontakt
|
Seitenstruktur
|
©
2025 JDD
