Forked from
Verified Software / psvg.doc.ic.ac.uk
1033 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
.. | ||
fixed-sticky | ||
blog.scss | ||
syntax.css |
Now only show 5 latest news in the home page, and put all the news in the new page. Change the css of news to the same as the publication.
Name | Last commit | Last update |
---|---|---|
.. | ||
fixed-sticky | ||
blog.scss | ||
syntax.css |