欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
HTML-XML-utils
来自开放百科 - 灰狐
HTML-XML-utils
A number of simple C programs for manipulating HTML & XML: number headings, make a table of contents, make an index, manage bibliographic references (a simple implementation of refer(1) for HTML), list all links, create cross-references, extract elements that match a (CSS) selector, etc. Most are meant to be used in a Unix pipe or in shell scripts.
分享您的观点
