wadler
|
cf1bdd9071
|
added description of marking
|
2019-09-15 18:01:15 +01:00 |
|
wadler
|
1b3b6f7cf1
|
minor fixes to assignments
|
2019-09-15 17:36:16 +01:00 |
|
wadler
|
bf8b03c67f
|
fixes to TSPL 2019
|
2019-09-15 17:15:46 +01:00 |
|
Philip Wadler
|
db46fd1539
|
added TSPL 2019
|
2019-09-15 16:52:52 +01:00 |
|
wadler
|
0de4fad2c0
|
updated dedication
|
2019-09-05 13:50:11 +02:00 |
|
Wen Kokke
|
67e139fa16
|
Updated courses after f20abd92eb
|
2019-08-15 20:46:10 +01:00 |
|
Wen Kokke
|
2a595363c0
|
Made all internal URLs portable (using site.baseurl)
|
2019-07-15 17:39:12 +01:00 |
|
Wen Kokke
|
1f570abeb9
|
Added generated PDFs for TSPL.
|
2019-07-13 11:47:49 +01:00 |
|
Wen Kokke
|
4401bc4a70
|
Minor fixes.
|
2019-07-12 21:06:08 +01:00 |
|
Wen Kokke
|
48d7eefc3a
|
Setup courses folder.
|
2019-07-12 21:05:27 +01:00 |
|