欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
xsltproc是libxslt库的命令行处理程序,用于处理xml文档。
我们可利用xsltproc来处理DocBook文档,输出各种格式的文档。
http://xmlsoft.org/