Commits · 3876da61e7d2a22ac12ef818fcdf5d2f8b8b1237 · xr119 / psvg.doc.ic.ac.uk

Nov 14, 2016
- Add separation course to the website. · 3876da61
  Shale XIONG authored 8 years ago
  
  3876da61
- Add new file, page for Separation logic course · 34dd71e0
  Teresa Carbajo-Garcia authored 8 years ago
  
  34dd71e0
Nov 10, 2016
- Update gardner.md · 9f96d740
  Teresa Carbajo-Garcia authored 8 years ago
  
  9f96d740
- fix bib. · 02b139b7
  Shale XIONG authored 8 years ago
  
  02b139b7
- Fix the bib. · 685a78f3
  Shale XIONG authored 8 years ago
  
  685a78f3
- Update publications.bib · dc59f8b9
  Teresa Carbajo-Garcia authored 8 years ago
  
  dc59f8b9
- Update publications.bib · 04ea8b6f
  Teresa Carbajo-Garcia authored 8 years ago
  
  04ea8b6f
- Update publications.bib · b51f3466
  Teresa Carbajo-Garcia authored 8 years ago
  
  b51f3466
Nov 09, 2016
- Re-add the pics with names starting with lower case. · cfebdb9d
  Shale XIONG authored 8 years ago
  
  cfebdb9d
- Delete the old pics, gonna change name. · 8fcba303
  Shale XIONG authored 8 years ago
  
  8fcba303
- Upload new file, photo for Thomas · f134464e
  Teresa Carbajo-Garcia authored 8 years ago
  
  f134464e
- Upload new file, photo for Daiva · e0be07e1
  Teresa Carbajo-Garcia authored 8 years ago
  
  e0be07e1
Nov 08, 2016
- Allow INRIA Rennes IP block access to testing website · b059849d
  Thomas Wood authored 8 years ago
  
  b059849d
Nov 03, 2016
- update · 7f67c71f
  Thomas Wood authored 8 years ago
  
  7f67c71f
- Add Andrea's GitHub profile. · 9eb9e984
  Thomas Wood authored 8 years ago
  
  9eb9e984
Oct 27, 2016
- Add Andrea. · c50e4189
  Shale XIONG authored 8 years ago
  
  c50e4189
Sep 29, 2016
- Add sitemap, update · 82499120
  Thomas Wood authored 8 years ago
  
  82499120
Sep 22, 2016
- Add DOI for Cardelli2007Manipulating · 6042aae3
  Thomas Wood authored 8 years ago
  
  6042aae3
- Typo in publication venue template · ed07851d
  Thomas Wood authored 8 years ago
  
  ed07851d
- update · 9fbffd80
  Thomas Wood authored 8 years ago
  
  9fbffd80
Aug 08, 2016
- Tag for JavaScript project is "web", update for all people · 2be4c41f
  Thomas Wood authored 8 years ago
  
  2be4c41f
- Update · 19d19564
  Thomas Wood authored 8 years ago
  
  19d19564
- Allow project students to access CI system · f444b7bd
  Thomas Wood authored 8 years ago
  
  f444b7bd
Jul 28, 2016
- Perhaps now · a1afc5d7
  Teresa Carbajo-Garcia authored 8 years ago
  
  a1afc5d7
- Bold · 7b202f22
  Teresa Carbajo-Garcia authored 8 years ago
  
  7b202f22
- More final version of advert · 26621094
  Teresa Carbajo-Garcia authored 8 years ago
  
  26621094
- Final text for advert · 7570b4f7
  Teresa Carbajo-Garcia authored 8 years ago
  
  7570b4f7
- New text added with full advert · 559f0c5f
  Teresa Carbajo-Garcia authored 8 years ago
  
  559f0c5f
Jul 26, 2016
- Actually reverse the buttons · 493f5f7d
  Teresa Carbajo-Garcia authored 8 years ago
  
  493f5f7d
- Reverse homepage buttons · c7839cda
  Teresa Carbajo-Garcia authored 8 years ago
  
  c7839cda
- Fix spelling error · 8cb96d7c
  Teresa Carbajo-Garcia authored 8 years ago
  
  8cb96d7c
- Update date for postdoc advert · b9113e09
  Carbajo Garcia authored 8 years ago
  
  b9113e09
- Update 2016-02-18-advert.md · 001337cc
  Teresa Carbajo-Garcia authored 8 years ago
  
  001337cc
Jul 18, 2016
- update · 45c47019
  Thomas Wood authored 8 years ago
  
  45c47019
- Fix .htaccess rules for /ci/ · bca2c227
  Thomas Wood authored 8 years ago
  
  bca2c227
Jul 13, 2016
- Update & set environment CI option · cf7a1fc9
  Thomas Wood authored 8 years ago
  
  cf7a1fc9
Jun 28, 2016
- Make deadlinks a deploy stage, so gated by the initial build · c315070a
  Thomas Wood authored 8 years ago
  
  c315070a
- Update · 0d0981f3
  Thomas Wood authored 8 years ago
  
  0d0981f3
Jun 24, 2016
- Make -dev subdomain suffixes permanent redirects to the main site · 4da56702
  Thomas Wood authored 8 years ago
  
  4da56702
- Update concurrency.md · 91ca7110
  Teresa Carbajo-Garcia authored 8 years ago
  
  91ca7110