欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
AxBlog
来自开放百科 - 灰狐
AxBlog is a slightly less than basic weblog written in pure XSLT for AxKit. Supports RSS 1.0 syndication.
It's a very simple weeblog using XSLT pipeline and an XML flat-file for the data for the blog.
GPL license.
http://simonwoodside.com/weblog
Saxite, Simon's AxKit/XLST/XML site framework
分享您的观点
