Releases: lucformalmethodscourse/lucformalmethodscourse.github.io
Releases · lucformalmethodscourse/lucformalmethodscourse.github.io
v26sp.15
v26sp.14
fixed CAS academic integrity link Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.13
fixed grading schema Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.12
updated syllabus for spring 2026 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.11
updated syllabus for spring 2026 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.10
added copy button to code blocks Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.9
added direct links to recent river crossing examples Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.8
updated info on VS Code extensions Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.5
indicated under construction for spring 2026 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.4
updated for spring 2026 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>