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="ProjectCodeStyleConfiguration"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
2 |
<state> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
3 |
<option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
4 |
</state> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
5 |
</component> |