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 |
<project version="4"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
3 |
<component name="VcsDirectoryMappings"> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
4 |
<mapping directory="$PROJECT_DIR$/../../.." vcs="hg4idea" /> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
5 |
</component> |
73c50ce808ed
basic setup of Isabelle setup tool --- pure Java, no dependencies;
wenzelm
parents:
diff
changeset
|
6 |
</project> |