University of Liverpool's Autonomy and Verification Lab website

Matt Luckcuck 2019

Contact and Theme

This website has been built by Rafael Cardoso and Matt Luckcuck.

We are using the Jekyll theme Slim Pickins as our base theme.

Editing the Lab's Website

This website is built using Jekyll, which compiles the files in this repository to produce a static HTML website.

The website can be edited either by cloning the repository and working locally, or directly in GitHub. Whichever method is used, when you want to make your changes live, make sure you commit your changes to the master branch. GitHub pages will automatically compile the files on the master branch, after a commit.

To reiterate this, anything committed to the master branch will go live automatically.

The Wiki contains various pages describing how to edit/manage the website:

• Events: https://github.com/autonomy-and-verification-uol/autonomy-and-verification-uol.github.io/wiki/Events
• Projects: https://github.com/autonomy-and-verification-uol/autonomy-and-verification-uol.github.io/wiki/Projects
• Members: https://github.com/autonomy-and-verification-uol/autonomy-and-verification-uol.github.io/wiki/Members