author | immler@in.tum.de |
Sat, 10 Jan 2009 17:33:21 +0100 | |
changeset 34461 | 2dd8ced4f2ae |
parent 34381 | a94d2fb96fd5 |
permissions | -rw-r--r-- |
34320 | 1 |
<?xml version="1.0" encoding="UTF-8"?> |
2 |
<project xmlns="http://www.netbeans.org/ns/project/1"> |
|
3 |
<type>org.netbeans.modules.scala.project</type> |
|
4 |
<configuration> |
|
5 |
<data xmlns="http://www.netbeans.org/ns/scala-project/1"> |
|
6 |
<name>Isabelle-jEdit</name> |
|
7 |
<minimum-ant-version>1.6.5</minimum-ant-version> |
|
8 |
<source-roots> |
|
9 |
<root id="src.dir"/> |
|
10 |
</source-roots> |
|
11 |
<test-roots/> |
|
12 |
</data> |
|
34381
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
13 |
<references xmlns="http://www.netbeans.org/ns/ant-project-references/1"> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
14 |
<reference> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
15 |
<foreign-project>jEdit</foreign-project> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
16 |
<artifact-type>jar</artifact-type> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
17 |
<script>build-nb.xml</script> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
18 |
<target>build</target> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
19 |
<clean-target>clean</clean-target> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
20 |
<id>build</id> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
21 |
</reference> |
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34320
diff
changeset
|
22 |
</references> |
34320 | 23 |
</configuration> |
24 |
</project> |