- Feb 19, 2016
-
-
Thomas Wood authored
Revert "Merge branch 'master' of https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk" This reverts commit a9cf459f5da4fdccf215f3501dd04726cd796070, reversing changes made to e6f81b0023b73c2e3556f761cc87fe4d6f53cf8b.
-
- Feb 18, 2016
-
-
https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.ukPedro da Rocha Pinto authored
Conflicts: _research/concurrency.md
-
Pedro da Rocha Pinto authored
-
Thomas Wood authored
-
Thomas Wood authored
-
Thomas Wood authored
-
Thomas Wood authored
-
- Feb 15, 2016
-
-
Thomas Wood authored
References #9
-
Thomas Wood authored
-
Thomas Wood authored
-
- Feb 11, 2016
-
-
Pedro da Rocha Pinto authored
-
- Feb 08, 2016
-
-
Thomas Wood authored
-
Thomas Wood authored
-
Thomas Wood authored
-
pmaksimo authored
-
- Feb 07, 2016
-
-
Pedro da Rocha Pinto authored
-
- Feb 05, 2016
-
-
Thomas Wood authored
Photos now automatically selected from the directory /images/people, assuming that the image has the same file name as the profile page, switching md for jpg. Add anonymous icon for missing profile photos. Add skeleton profiles for the JS team. Fix person card heights, add padding between cards.
-
Thomas Wood authored
* People may be assigned to multiple research projects. * Plugin for advanced filter expressions (see also https://github.com/jekyll/jekyll/pull/4478)
-
Thomas Wood authored
It may be useful to keep in /vol/rr/www so that future people joining the group know where to look for edit access.
-
Thomas Wood authored
References #4
-
Thomas Wood authored
-
- Feb 04, 2016
-
-
pmaksimo authored
-
pmaksimo authored
-
pmaksimo authored
-
Thomas Wood authored
-
Pedro da Rocha Pinto authored
-
Pedro da Rocha Pinto authored
-
Thomas Wood authored
* Remove "About" heading * Hide "Group Publications" heading if there are none * Centre card on page when no main column content is available * Remove duplication of title and names configuration * Shunt role onto same line as title
-
Thomas Wood authored
-
Pedro da Rocha Pinto authored
-
Pedro da Rocha Pinto authored
-
Pedro da Rocha Pinto authored
-
- Feb 03, 2016
-
-
pmaksimo authored
-
Thomas Wood authored
-
Pedro da Rocha Pinto authored
-
Pedro da Rocha Pinto authored
-
Thomas Wood authored
-
Thomas Wood authored
-
Pedro da Rocha Pinto authored
-