tips: isabelle.rst@e080da368231 (annotated)

1035 2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	1	.. -- coding: utf-8 --
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	2
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	3	===========
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	4	Isabelle.
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	5	===========
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	6	.. contents::
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	7
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	8	Prepare user work dir.
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	9	======================
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	$ cd ~/isabelle
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	13	$ isatool mkdir HOL my-proof-dir
2e8f84478a07 Isabelle. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	14

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Mon, 02 Jul 2012 23:11:48 +0300
changeset 1319	e080da368231
parent 1035	2e8f84478a07
child 1334	9bf0d5a1f0cf
permissions	-rw-r--r--