Closed xiaods closed 13 years ago
I follow this instruct in readme. when i call hoof status also show: [~/projects/matrix] $ hoof status matrix [stopped] I am not clear howto do it.
when i restart my desktop,it's working.. just unstable version. thanks for this concept of proof tools.
I follow this instruct in readme. when i call hoof status also show: [~/projects/matrix] $ hoof status matrix [stopped] I am not clear howto do it.