- 博客(4)
- 收藏
- 关注
RSS订阅原创 MAMP安装php redis
cd /Applications/MAMP/bin/php/php5.6.2/include/phpcd php./configure --without-iconvcd phpredis./configure --with-php-config=/Applications/MAMP/bin/php/php5.6.2/bin/php-configsudo makesudo cp -p modules
2016-07-01 13:47:57
413
原创 thinkphp 访问静态页面
简介ThinkPHP 是一个免费开源的，快速、简单的面向对象的 轻量级PHP开发框架 ，创立于2006年初，遵循Apache2开源协议发布，是为了敏捷WEB应用开发和简化企业应用开发而诞生的。ThinkPHP从诞生以来一直秉承简洁实用的设计原则，在保持出色的性能和至简的代码的同时，也注重易用性。并且拥有众多的原创功能和特性，在社区团队的积极参与下，在易用性、扩展性和性能方面不断优化和改进，已经成长为
2016-04-28 14:11:58
1584
转载 欢迎使用优快云-markdown编辑器
欢迎使用Markdown编辑器写博客本Markdown编辑器使用StackEdit修改而来，用它写博客，将会带来全新的体验哦：Markdown和扩展Markdown简洁的语法代码块高亮图片链接和图片上传LaTex数学公式UML序列图和流程图离线写博客导入导出Markdown文件丰富的快捷键快捷键加粗 Ctrl + B 斜体 Ctrl + I 引用 Ctrl
2016-04-28 13:56:51
290
原创 Mac OS上安装Coq＋Emacs＋Proof－general
最近在研究形式化语言Coq，但是其原生IDE的界面不是很美观，于是就想用Emacs＋Proof general 通过扩展来编译Coq文件。首先安装Homebrew，然后在终端安装emacs、coq和ssreflect：brew install coq emacs ssreflect之后安装proof－general：brew install proof－gene
2015-05-13 21:33:44
2361
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人