Releases: lucformalmethodscourse/lucformalmethodscourse.github.io
Releases · lucformalmethodscourse/lucformalmethodscourse.github.io
Release list
v25sp.5
further updated syllabus for sp25 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.4
further updated syllabus for sp25 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.3
further updated syllabus for sp25 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.2
updated software chapter for sp25 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25s.1
added spring 2025 syllabus Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v24s.14
changed Sphinx HTML theme to furo Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v24s.13
added info on possible test results Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v24s.12
updated TA office hour Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v24s.11
updated MS Teams link in spring 2024 syllabus Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v24s.9
added classroom Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>