Commit graph

65 commits

Author Message Date
Mo Mirza
39d01bd7d9 Add missing library file 2019-09-16 15:22:15 +02:00
wadler
06f8d7f72f fixed typo 2019-09-15 18:05:12 +01:00
wadler
42492996c9 fixed typo 2019-09-15 18:03:14 +01:00
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
28a63cfbcd Fixed PUC Exam 2019-08-15 20:56:51 +01: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
ab4b03b8a1 Remove TeX from courses/puc 2019-07-12 21:08:33 +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