Commit graph

6 commits

Author SHA1 Message Date
Boris Buliga d81e75584e
bump year in the copyright headers
Folks, this time of year has come. We can bump year in the copyright headers.
Let's celebrate!
2018-10-16 20:27:05 +03:00
JAremko cd39f80c24 Reformat documentation 2018-10-11 00:13:43 +03:00
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