2.把可執行檔案simplify-1.5.4.linux複製到/usr/local/bin/下面，執行下面命令：
sudo cp ./simplify-1.5.4.linux /usr/local/bin/simplify
3.然後執行user@ubuntu1:~$ simplify -version命令，檢視證明器版本，得到下面結果：
simplify version 1.5.4, 4 october 2001
4.然後執行命令，可以發現能夠檢測到simplify命令：
./why3 config --detect
found prover simplify version 1.5.4 (old version, please consider upgrading).
5.在與why3命令相同的目錄下新建hello_proof.why檔案，內容如下：
theory helloproof "my very first why3 theory"
goal g1 : true
goal g2 : (true -> false) /\ (true \/ false)
use import int.int
goal g3: forall x:int. x*x >= 0
end6.然後執行 $ ./why3 prove -p simplify ./hello_proof.why，可得到證明結果
./hello_proof.why helloproof g1 : valid (0.00s)
./hello_proof.why helloproof g2 : unknown (0.00s)
./hello_proof.why helloproof g3 : unknown (0.00s)
Cornerstone 3 新增外部diff工具
difffork還提供shell方式開啟軟體可以軟鏈到 usr local bin difffork 但是beyondcompare可以通過shell方式正確開啟，但是mac下的beyondcompare對中文不友好所以就用difffork了。shell呼叫方式 bin bash original ...
Qt 為Groupbox外部新增外部框
需求的描述 每乙個實體劃分為乙個區域，每乙個區域用外側用明顯的框線標識以來區分。把每乙個實體前端的控制項放入到groupbox控制項中，在設定ui內部相關控制項的屬性是，新增下面 可以實現對groupbox設定外部框線。設定groupbox邊框顏色 ui groupbox setstylesheet...
tomcat新增外部專案
有兩種配置的方式 第一種，修改tomcat conf server.xml 找到如下的xml標籤 在host標籤中新增如下子元素 其中 path 專案名稱 docbase 專案的實際位置 這種方式的訪問路徑為 第二種，在tomcat conf catalina localhost 目錄下增加proj...