安装Xcode 5并编译我的应用程序以使用iOS 7.但是,当我运行模拟器时,它只显示手机的屏幕而不是完整的手机,例如带有主页按钮的手机机身.可以继续开发我的应用程序,但想了解我的错误.感谢任何帮助.
我是一个Coq新手,因此为了提高我对证据检查的理解,我正在尝试使用Ssreflect库.
我在终端上运行的Mac OS v 10.10.3(Yosemite)上安装了Ssreflect v 1.5.
但是,当我尝试使用以下方法将库加载到CoqIDE 8.4p15中时:
Require Import ssreflect.
我收到错误:
Cannot find library ssreflect in loadpath
我尝试过使用:
Add LoadPath "/opt/local/lib/coq/user-contrib/Ssreflect/".
其中SSRCOQ_LIB当前设置,但我收到错误:
The file /opt/local/lib/coq/user-contrib/Ssreflect/ssreflect.vo contains library Ssreflect.ssreflect and not library ssreflect
感谢在CoqIDE中加载ssreflect库的任何帮助.