[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-HELP]-Install problem



When I run PVS. The problem is "cmulisp-local-source-directory not set" and died in this view.

My env.is :ubuntu8.10, emacs22, cmulisp.
How can I pix this problem.

Best regard