author | wenzelm |
Tue, 11 May 2021 21:57:43 +0200 | |
changeset 73677 | 73c50ce808ed |
permissions | -rw-r--r-- |
73677
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
1 |
<?xml version="1.0" encoding="UTF-8"?> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
2 |
<module type="JAVA_MODULE" version="4"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
3 |
<component name="NewModuleRootManager" inherit-compiler-output="true"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
4 |
<exclude-output /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
5 |
<content url="file://$MODULE_DIR$"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
6 |
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
7 |
</content> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
8 |
<orderEntry type="inheritedJdk" /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
9 |
<orderEntry type="sourceFolder" forTests="false" /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
10 |
</component> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
11 |
</module> |