| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Fri, 18 Dec 2020 18:28:04 +0200 | |
| changeset 2475 | 547fe18869f4 |
| parent 1912 | 8b81a8f0f692 |
| permissions | -rw-r--r-- |
|
1334
9bf0d5a1f0cf
Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1035
diff
changeset
|
1 |
.. -*- coding: utf-8; -*- |
| 1035 | 2 |
|
3 |
=========== |
|
4 |
Isabelle. |
|
5 |
=========== |
|
6 |
.. contents:: |
|
|
1905
fba288d59662
Include only local subsections into TOC. This prevent duplication of
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1334
diff
changeset
|
7 |
:local: |
| 1035 | 8 |
|
9 |
Prepare user work dir. |
|
10 |
====================== |
|
11 |
:: |
|
12 |
||
13 |
$ cd ~/isabelle |
|
14 |
$ isatool mkdir HOL my-proof-dir |
|
15 |