# HG changeset patch
# User wenzelm
# Date 1620763063 -7200
# Node ID 73c50ce808ed90284ddaa61662ea6f5102931770
# Parent  51429b78aadf4f1634932cdc2da10d9b9cd3e1eb
basic setup of Isabelle setup tool --- pure Java, no dependencies;

diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/.name
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/.name	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,1 @@
+isabelle-setup
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/artifacts/Setup_jar.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/artifacts/Setup_jar.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,8 @@
+<component name="ArtifactManager">
+  <artifact type="jar" name="Setup:jar">
+    <output-path>$PROJECT_DIR$/out/artifacts/</output-path>
+    <root id="archive" name="Setup.jar">
+      <element id="module-output" name="Setup" />
+    </root>
+  </artifact>
+</component>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/codeStyles/Project.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/codeStyles/Project.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,9 @@
+<component name="ProjectCodeStyleConfiguration">
+  <code_scheme name="Project" version="173">
+    <option name="LINE_SEPARATOR" value="&#10;" />
+    <option name="SOFT_MARGINS" value="100" />
+    <codeStyleSettings language="Scala">
+      <option name="ALIGN_MULTILINE_PARAMETERS" value="false" />
+    </codeStyleSettings>
+  </code_scheme>
+</component>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,5 @@
+<component name="ProjectCodeStyleConfiguration">
+  <state>
+    <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
+  </state>
+</component>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/misc.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/misc.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="true" project-jdk-name="11" project-jdk-type="JavaSDK">
+    <output url="file://$PROJECT_DIR$/out" />
+  </component>
+</project>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/modules.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/modules.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/Setup.iml" filepath="$PROJECT_DIR$/Setup.iml" />
+    </modules>
+  </component>
+</project>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/sbt.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/sbt.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ScalaSbtSettings">
+    <option name="customVMPath" />
+  </component>
+</project>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/vcs.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/vcs.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="VcsDirectoryMappings">
+    <mapping directory="$PROJECT_DIR$/../../.." vcs="hg4idea" />
+  </component>
+</project>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/.idea/workspace.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/.idea/workspace.xml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,59 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ArtifactsWorkspaceSettings">
+    <artifacts-to-build>
+      <artifact name="Setup:jar" />
+    </artifacts-to-build>
+  </component>
+  <component name="AutoImportSettings">
+    <option name="autoReloadType" value="SELECTIVE" />
+  </component>
+  <component name="ChangeListManager">
+    <list default="true" id="a00f79eb-e202-4706-95b3-a972b05b3ddb" name="Default Changelist" comment="" />
+    <option name="SHOW_DIALOG" value="false" />
+    <option name="HIGHLIGHT_CONFLICTS" value="true" />
+    <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
+    <option name="LAST_RESOLUTION" value="IGNORE" />
+  </component>
+  <component name="CodeStyleSettingsInfer">
+    <option name="done" value="true" />
+  </component>
+  <component name="FileTemplateManagerImpl">
+    <option name="RECENT_TEMPLATES">
+      <list>
+        <option value="Class" />
+      </list>
+    </option>
+  </component>
+  <component name="ProjectCodeStyleSettingsMigration">
+    <option name="version" value="1" />
+  </component>
+  <component name="ProjectId" id="1sP6lEsakYWhAQI9WzuHpAcovaN" />
+  <component name="ProjectLevelVcsManager" settingsEditedManually="true" />
+  <component name="ProjectViewState">
+    <option name="hideEmptyMiddlePackages" value="true" />
+    <option name="showLibraryContents" value="true" />
+  </component>
+  <component name="PropertiesComponent">
+    <property name="RunOnceActivity.OpenProjectViewOnStart" value="true" />
+    <property name="RunOnceActivity.ShowReadmeOnStart" value="true" />
+    <property name="project.structure.last.edited" value="Artifacts" />
+    <property name="project.structure.proportion" value="0.15" />
+    <property name="project.structure.side.proportion" value="0.18055555" />
+  </component>
+  <component name="SpellCheckerSettings" RuntimeDictionaries="0" Folders="0" CustomDictionaries="0" DefaultDictionary="application-level" UseSingleDictionary="true" transferred="true" />
+  <component name="TaskManager">
+    <task active="true" id="Default" summary="Default task">
+      <changelist id="a00f79eb-e202-4706-95b3-a972b05b3ddb" name="Default Changelist" comment="" />
+      <created>1620762028428</created>
+      <option name="number" value="Default" />
+      <option name="presentableId" value="Default" />
+      <updated>1620762028428</updated>
+    </task>
+    <servers />
+  </component>
+  <component name="hg4idea.settings">
+    <option name="CHECK_INCOMING_OUTGOING" value="true" />
+    <option name="RECENT_HG_ROOT_PATH" value="$PROJECT_DIR$/../../.." />
+  </component>
+</project>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/Setup.iml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/Setup.iml	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="JAVA_MODULE" version="4">
+  <component name="NewModuleRootManager" inherit-compiler-output="true">
+    <exclude-output />
+    <content url="file://$MODULE_DIR$">
+      <sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
+    </content>
+    <orderEntry type="inheritedJdk" />
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+</module>
\ No newline at end of file
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/src/META-INF/MANIFEST.MF
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/src/META-INF/MANIFEST.MF	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,3 @@
+Manifest-Version: 1.0
+Main-Class: isabelle.setup.Setup
+
diff -r 51429b78aadf -r 73c50ce808ed src/Tools/Setup/src/isabelle/setup/Setup.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Setup/src/isabelle/setup/Setup.java	Tue May 11 21:57:43 2021 +0200
@@ -0,0 +1,15 @@
+/*  Title:      Tools/Setup/isabelle/setup/Setup.java
+    Author:     Makarius
+
+Isabelle setup tool: bootstrap from generic Java environment.
+*/
+
+package isabelle.setup;
+
+class Setup
+{
+    public static void main(String[] args)
+    {
+        System.out.println("Isabelle setup");
+    }
+}