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 |
<component name="ArtifactManager"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
2 |
<artifact type="jar" name="Setup:jar"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
3 |
<output-path>$PROJECT_DIR$/out/artifacts/</output-path> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
4 |
<root id="archive" name="Setup.jar"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
5 |
<element id="module-output" name="Setup" /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
6 |
</root> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
7 |
</artifact> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
8 |
</component> |