time-estimation.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sat, 18 Apr 2009 16:09:23 +0300
changeset 94 db45445863c1
parent 43 573572e9b2f8
child 735 5c437e2d5fe1
permissions -rw-r--r--
About HOL Light.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     1
-*- outline -*-
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     2
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
* Which soft use?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
  $ sudo apt-get install karma
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     7