isabelle.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sat, 03 Oct 2015 18:29:10 +0300
changeset 1765 2132765de2f4
parent 1334 9bf0d5a1f0cf
child 1905 fba288d59662
permissions -rw-r--r--
Cellular automaton.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1334
9bf0d5a1f0cf Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1035
diff changeset
     1
.. -*- coding: utf-8; -*-
9bf0d5a1f0cf Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1035
diff changeset
     2
.. include:: HEADER.rst
1035
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
===========
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
 Isabelle.
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
===========
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     7
.. contents::
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     8
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
Prepare user work dir.
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
======================
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
::
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    12
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    13
  $ cd ~/isabelle
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    14
  $ isatool mkdir HOL my-proof-dir
2e8f84478a07 Isabelle.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    15