Forked from
Verified Software / psvg.doc.ic.ac.uk
975 commits behind the upstream repository.
-
Shale XIONG authored
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.
Shale XIONG authoredNow 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.
_config.yml 1.25 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:
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: true
bibtex_skip_fields: ['month_numeric', 'project']
bibtex_filters:
- superscript
- latex
sort_by: year, month
order: descending
group_order: descending
bibliography_group_tag: 'h3,h4,h5,h6'
repository: publications