author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Fri, 14 Oct 2011 00:52:40 +0300 | |
changeset 1035 | 2e8f84478a07 |
parent 1034 | 1ca4dc8dfed6 |
child 1036 | f04e852b68e0 |
isabelle.rst | file | annotate | diff | comparison | revisions |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/isabelle.rst Fri Oct 14 00:52:40 2011 +0300 @@ -0,0 +1,14 @@ +.. -*- coding: utf-8 -*- + +=========== + Isabelle. +=========== +.. contents:: + +Prepare user work dir. +====================== +:: + + $ cd ~/isabelle + $ isatool mkdir HOL my-proof-dir +