欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
沙盒
来自开放百科 - 灰狐
（版本间的差异）
(→RSS) |
|||
| 第7行： | 第7行： | ||
<rss>http://www.oschina.net/news/rss|short|date|max=5</rss> | <rss>http://www.oschina.net/news/rss|short|date|max=5</rss> | ||
<rss>http://solidot.org/index.rss|short|date|max=5</rss> | <rss>http://solidot.org/index.rss|short|date|max=5</rss> | ||
| − | + | ==新闻== | |
| + | {|style="border-spacing:8px; margin:0px -8px;" | ||
| + | | class="MainPageBG" style="width:50%; vertical-align:top" | {{News block 2}} | ||
| + | | class="MainPageBG" style="width:50%; vertical-align:top" | {{News block 4}} | ||
| + | |} | ||
==CategoryTree== | ==CategoryTree== | ||
<categorytree mode=pages>games</categorytree> | <categorytree mode=pages>games</categorytree> | ||
2010年9月25日 (六) 05:58的版本
编辑, 奇怪
取消匿名编辑...不明白
只有登录才能编辑, 欢迎注册账号.
目录 |
RSS
自http://www.oschina.net/news/rss加载RSS失败或RSS源被墙 自http://solidot.org/index.rss加载RSS失败或RSS源被墙
新闻
|
CategoryTree<categorytree mode=pages>games</categorytree> 用户框
{{#ifeq: | true
|
dontcat
}}{{#ifeq: | no
|
dontcat
}}{{#switch: ¬
|
yes | ¬ = | #default = dontcat
}}{{#switch:
|
no =
模板:Basepage subpage |
only =
模板:Basepage subpage }} |
{{#switch:
{{#ifeq: | false
|
yes | yes | 模板:If pagename
}}
}}
}}
|
hide = | #default =
{{#ifeq: h0#384!5nea+w9 | {{#if:|[[Category:{{{usercategory}}}]]}}{{#if:|[[Category:{{{usercategory2}}}]]}}{{#if:|[[Category:{{{usercategory3}}}]]}}
|
模板:Namespace detect |
{{#iferror: {{#expr: 1 + 模板:Namespace detect }}
|
模板:Namespace detect |
}} }} }} }}}} 巴别模板
Feed{{#widget:Feed |
feedurl=http://www.oschina.net/news/rss | chan=y | num=5 | desc=50 | date=n | targ=n
}} 一级标题
commons:Image:Geneva_mechanism_6spoke_animation.gif 已有7,156篇条目
维基共享资源 相关的维基共享资源：
Table
二级标题
3级标题ssssssssssssssssssss 4级标题ssssssssssssssssssss
<discussion>characters_max=300</discussion> |
分享您的观点
