Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/nbproject/project.xml
author wenzelm
Mon, 20 Oct 2008 17:02:03 +0200
changeset 34328 be2e9e6726af
parent 34320 883dc8fc3328
child 34381 a94d2fb96fd5
permissions -rw-r--r--
added application.args (Why does it end up in pricate properties?);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     1
 
<?xml version="1.0" encoding="UTF-8"?>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     2
 
<project xmlns="http://www.netbeans.org/ns/project/1">
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     3
 
    <type>org.netbeans.modules.scala.project</type>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     4
 
    <configuration>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     5
 
        <data xmlns="http://www.netbeans.org/ns/scala-project/1">
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     6
 
            <name>Isabelle-jEdit</name>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     7
 
            <minimum-ant-version>1.6.5</minimum-ant-version>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     8
 
            <source-roots>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     9
 
                <root id="src.dir"/>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
    10
 
            </source-roots>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
    11
 
            <test-roots/>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
    12
 
        </data>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
    13
 
    </configuration>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
    14
 
</project>
isabelle