Commits · 34dd71e07d61f79d551831eef914249d2361f6d7 · xr119 / psvg.doc.ic.ac.uk

Nov 14, 2016
- Add new file, page for Separation logic course · 34dd71e0
  Teresa Carbajo-Garcia authored 8 years ago
  
  34dd71e0
Jun 24, 2016
- Update concurrency.md · 91ca7110
  Teresa Carbajo-Garcia authored 8 years ago
  
  91ca7110
Apr 11, 2016
- resourcereasoning.com is not correctly https-enabled · 8fe1620e
  Thomas Wood authored 8 years ago
  
  8fe1620e
Mar 01, 2016
- Remove pg's old publications on process algebra, javascript project key should be 'web'. · b1ca440d
  Thomas Wood authored 9 years ago
  
  b1ca440d
Feb 22, 2016
- Move research pages back to normal pages, so they can have headers. · f7edefe1
  Thomas Wood authored 9 years ago
  
  f7edefe1
Feb 18, 2016
- Improvement (?) on description about the concurrency project. · 3d74a010
  Pedro da Rocha Pinto authored 9 years ago
  
  3d74a010
- Begin research pages split · df6d4d95
  Thomas Wood authored 9 years ago
  
  df6d4d95
Feb 05, 2016

Create research project page template · 3ea6ef51

Thomas Wood authored 9 years ago

* People may be assigned to multiple research projects.
* Plugin for advanced filter expressions (see also
  https://github.com/jekyll/jekyll/pull/4478)

3ea6ef51

Feb 04, 2016
- Add concurrency research page · a4cd1671
  Thomas Wood authored 9 years ago
  
  a4cd1671