products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: AboutBox.dfm.~11~   Sprache: Unknown

Spracherkennung für: .iml vermutete Sprache: Text {Text[207] Haskell[242] CS[349]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

<?xml version="1.0" encoding="UTF-8"?>
<module relativePaths="true" type="JAVA_MODULE" version="4">
  <component name="NewModuleRootManager" inherit-compiler-output="false">
    <output url="file://$MODULE_DIR$/build/classes/core" />
    <output-test url="file://$MODULE_DIR$/build/classes/test" />
    <exclude-output />
    <content url="file://$MODULE_DIR$">
      <sourceFolder url="file://$MODULE_DIR$/org" isTestSource="false" packagePrefix="org" />
      <sourceFolder url="file://$MODULE_DIR$/test" isTestSource="true" />
      <excludeFolder url="file://$MODULE_DIR$/build" />
      <excludeFolder url="file://$MODULE_DIR$/dist" />
      <excludeFolder url="file://$MODULE_DIR$/lib" />
      <excludeFolder url="file://$MODULE_DIR$/org/gjt/sp/jedit/bsh/commands" />
      <excludeFolder url="file://$MODULE_DIR$/textarea" />
    </content>
    <orderEntry type="inheritedJdk" />
    <orderEntry type="sourceFolder" forTests="false" />
    <orderEntry type="library" scope="TEST" name="Test Dependencies" level="project" />
    <orderEntry type="library" name="Compile Dependencies" level="project" />
    <orderEntry type="library" scope="RUNTIME" name="Runtime Dependencies" level="project" />
  </component>
</module>

[ Dauer der Verarbeitung: 0.125 Sekunden  ]