欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LifeType
来自开放百科 - 灰狐
目录 |
LifeType的特点
安装指南
创建数据库
mysqladmin -u root -p create lifetype 或 mysql>create database lifetype; mysql>GRANT ALL PRIVILEGES ON lifetype.* TO lifetype@localhost IDENTIFIED BY 'lifetype'; mysql>flush privileges;
修改 config/config.properties.php
$config["db_host"] = "localhost"; $config["db_username"] = "lifetype"; $config["db_password"] = "lifetype"; $config["db_database"] = "lifetype";
FAQ
相关链接
精彩图集
分享您的观点