Commit graph

4 commits

Author SHA1 Message Date
smile13241324 d85eb092d0 Fixed the next bunch of documents
Fix doc for coq, semantic-web, source-control, evil-commentary
and spotify layer.
2018-02-04 06:21:18 +02:00
syl20bnr e2e532bb49 core: change <function>p to <function>-p suffixes for consistency
Also defined aliases for backward compatibility with `usedp` functions.
2017-07-02 10:09:39 -04:00
Eivind Fonn c812c5be32 Update semantic-web documentation (fix tests) 2017-05-26 11:47:41 +02:00
Eivind Fonn 53cb8a48d3 Move semweb to semantic-web
Minor configuration changes
2017-05-26 11:12:08 +02:00