<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[bbtree的专栏]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/bbtree</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; bbtree]]></copyright><item><title><![CDATA["Real World OCaml" Installation Instructions]]></title><link>https://blog.youkuaiyun.com/bbtree/article/details/38755895</link><guid>https://blog.youkuaiyun.com/bbtree/article/details/38755895</guid><author>bbtree</author><pubDate>Fri, 22 Aug 2014 13:42:16 +0800</pubDate><description><![CDATA[https://github.com/realworldocaml/book/wiki/Installation-Instructions]]></description><category></category></item><item><title><![CDATA[Build HOL4  on Ubuntu]]></title><link>https://blog.youkuaiyun.com/bbtree/article/details/38491133</link><guid>https://blog.youkuaiyun.com/bbtree/article/details/38491133</guid><author>bbtree</author><pubDate>Mon, 11 Aug 2014 13:00:17 +0800</pubDate><description><![CDATA[1） build poly
download poly source code

./configure
make
make install]]></description><category></category></item></channel></rss>