]> Git — Sourcephile - doclang.git/commit
Move <judgment/> into <about/>.
authorJulien Moutinho <julm+hdoc@autogeree.net>
Fri, 26 Oct 2018 20:36:18 +0000 (20:36 +0000)
committerJulien Moutinho <julm+hdoc@autogeree.net>
Fri, 26 Oct 2018 20:36:18 +0000 (20:36 +0000)
commit797bb2c940ded21aac352f81ee00b6ea0d96ed41
tree4b4d824e163bb5e395aec15d695b90fb2ac3b1c6
parent7fdc81a54dde937403aeedba9dbd93eb76a4e173
Move <judgment/> into <about/>.
22 files changed:
GNUmakefile
Hdoc/DTC/Analyze/Collect.hs
Hdoc/DTC/Analyze/Index.hs
Hdoc/DTC/Document.hs
Hdoc/DTC/Read/TCT.hs
Hdoc/DTC/Sym.hs
Hdoc/DTC/Write/HTML5.hs
Hdoc/DTC/Write/HTML5/Base.hs
Hdoc/DTC/Write/HTML5/Ident.hs
Hdoc/DTC/Write/HTML5/Judgment.hs
Hdoc/DTC/Write/Plain.hs
Hdoc/DTC/Write/XML.hs
Hdoc/RNC/Sym.hs
Hdoc/RNC/Write.hs
Hdoc/TCT/Debug.hs
Hdoc/TCT/Tree.hs
Hdoc/TCT/Write/XML.hs
Hdoc/XML.hs
Text/Blaze/DTC.hs
Text/Blaze/DTC/Attributes.hs
hdoc.cabal
style/dtc-html5.css