6 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	58593eece4	Another restyle	2021-03-31 11:18:29 +02:00
Tony Garnock-Jones	d496e4c2b6	Capitalize	2021-03-30 22:51:18 +02:00
Tony Garnock-Jones	da60ff6959	Redo site look	2021-03-30 21:21:25 +02:00
Tony Garnock-Jones	ba4bcf9a49	Better organisation; examples; ESOP2014	2016-04-04 05:13:46 +02:00
Tony Garnock-Jones	80a2b489f1	Alter banner colours	2016-04-01 15:30:14 -04:00
Tony Garnock-Jones	d82b74a946	Initial gh-pages commit.	2016-03-09 11:40:40 +00:00