[www] fix room for lab4 hands-on

Author: andreasabel

README.md

@@ -57,9 +57,9 @@ Material: plt = course book, dragon = Dragon book. Slides follow closely the plt
 | *Wed 04/12* | *23* | *Lab 2 deadline* |  |
 | Thu 05/12 | 13-15 | Functional programming languages | [slides](plt-book/ipl-book/slides/7-slides-ipl-book.pdf), plt 7, dragon 6.5,7.3, [script](notes/cbn-cbv.html) |
 | Tue 10/12 | 13-15 | Type inference and polymorphism | plt 7.7-9, [script](notes/typing.html), [visualization tool](https://github.com/teach-plt/visualize-type-inference) |
-| Thu 12/12 | 13-14 | Hands-on with Lab 4 (Haskell) |  |
+| Thu 12/12 **HC1** | 13-14 | Hands-on with Lab 4 (Haskell) |  |
 | Thu 12/12 | 14-15 | Hands-on with Lab 4 (Java)    |  |
-| Tue 17/12 **HC1** | 13-15 | Dependent types (Agda) |  |
+| Tue 17/12 | 13-15 | Dependent types (Agda) |  |
 | *Wed 18/12* | *23* | *Lab 3 deadline* |  |
 | Thu 19/12 **SB-H5** | 13-15 | Preparing for the exam | |