Forked from
Verified Software / psvg.doc.ic.ac.uk
848 commits behind the upstream repository.
-
Thomas Wood authoredThomas Wood authored
_config.yml 1.31 KiB
title: Program Specification and Verification Group
subtitle: <a href="http://www.doc.ic.ac.uk">Department of Computing</a>, <a href="http://www.imperial.ac.uk/">Imperial College London</a>
copyright: Imperial College London
baseurl: ""
url: "https://psvg.doc.ic.ac.uk"
markdown: kramdown
include:
- .htaccess
exclude:
- Gemfile*
- Rakefile
- .gitlab-ci.yml
- vendor
collections:
people:
output: true
research:
output: true
teaching:
output: true
defaults:
-
scope:
path: ""
values:
layout: page
menu: false
menu_order: 9
-
scope:
type: posts
values:
layout: post
-
scope:
path: ""
type: people
values:
layout: person
-
scope:
path: "research"
values:
layout: research
-
scope:
path: "teaching"
values:
layout: teaching
scholar:
source: publications
bibliography: publications.bib
bibliography_template: publication-entry
details_link: ""
details_dir: publications
details_layout: publication.html
use_raw_bibtex_entry: false
bibtex_skip_fields: ['month_numeric', 'project']
bibtex_filters:
- superscript
- latex
sort_by: year, month