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