http://www.xsight.com.cn/wiki/ 2012-05-21T15:13:28+08:00 http://www.xsight.com.cn/wiki/ http://www.xsight.com.cn/wiki/lib/images/favicon.ico text/html 2010-09-16T22:14:48+08:00 http://www.xsight.com.cn/wiki/doku.php?id=%E6%9C%AA%E6%9D%A5%E7%A9%BA%E9%97%B4&rev=1284646488&do=diff 为什么使用维基 近期工作安排 内部通讯录 测试一下能不能发中文网页制作 * 互惠网异地/异国/汇款 * 实时点心网 text/html 2010-11-13T21:43:03+08:00 http://www.xsight.com.cn/wiki/doku.php?id=advice&rev=1289655783&do=diff Programing * 所积累的20条编程经验 text/html 2010-11-11T19:29:15+08:00 http://www.xsight.com.cn/wiki/doku.php?id=coq&rev=1289474955&do=diff 官方网站 <http://coq.inria.fr/> 一个简单的例子 定义一个自然数群： Inductive mynat: Set := | Z: mynat | S: mynat -> mynat. (* 这里S的含义就是增加 *) 接下来，你可以定义该群里面的成员，像这样： text/html 2010-11-18T18:40:30+08:00 http://www.xsight.com.cn/wiki/doku.php?id=html_css&rev=1290076830&do=diff HTML CSS * 基本 * 可变背景 * hover 的使用 Syntax Highlight 语法高亮 * SyntaxHighlighter text/html 2010-11-13T15:37:51+08:00 http://www.xsight.com.cn/wiki/doku.php?id=office&rev=1289633871&do=diff Power Point * 某些ppt文件不能在power point 2010被打开的问题 text/html 2010-11-13T21:33:22+08:00 http://www.xsight.com.cn/wiki/doku.php?id=start&rev=1289655202&do=diff 欢迎来到XSight Wiki。 一起来激荡你的Mind！ 如果字符太小，请使用Ctrl + ”+“或者是Ctrl + 鼠标滚轮来调整显示大小。 编辑之前 可以到这里看一看本维基的语法规则。 也可以到这里来热热身。