@@ -106,27 +106,26 @@ the semester.
106106 - Sample worksheet solutions {% resourceList "workshop04-solutions", [ "html", "md"] %}
107107- Week 6 -- logic
108108 - Lab worksheet {% resourceList "workshop05", [ "html", "md"] %}
109- {#
110109 - Sample worksheet solutions {% resourceList "workshop05-solutions", [ "html", "md"] %}
111110- Week 7 -- syntax
112- - Lab worksheet {% resourceList "workshop06", [ "html", "md"] %}
113- - Source code ([ zip] ({{ "/workshops/workshop-06-code.zip" | url }}))
114- - Sample worksheet solutions {% resourceList "workshop06-solutions", [ "html", "md"] %}
111+ - Lab worksheet {% resourceList "workshop06", [ "html", "md"] %}
112+ - Source code ([ zip] ({{ "/workshops/workshop-06-code.zip" | url }}))
113+ {# - Sample worksheet solutions {% resourceList "workshop06-solutions", [ "html", "md"] %} # }
115114- Week 8 -- code reviews
116115 - Lab worksheet {% resourceList "workshop07", [ "html", "md"] %}
117- - Sample worksheet solutions {% resourceList "workshop07-solutions", [ "html", "md"] %}
116+ {# - Sample worksheet solutions {% resourceList "workshop07-solutions", [ "html", "md"] %} # }
118117- Week 9 -- system testing
119118 - Lab worksheet {% resourceList "workshop08", [ "html", "md"] %}
120- - Sample worksheet solutions {% resourceList "workshop08-solutions", [ "html", "md"] %}
119+ {# - Sample worksheet solutions {% resourceList "workshop08-solutions", [ "html", "md"] %} #}
120+ - Week 10 and 11 -- work on project
121+ {# 2024 workshops
121122- Week 10 -- program verification
122123 - Lab worksheet {% resourceList "workshop09", [ "html", "md"] %}
123124 - Writing English answers using Moodle editors ([ html] ( /workshops/moodle-editors.html ) ) ([ md] ( /workshops/moodle-editors.md ) )
124125 - Sample worksheet solutions {% resourceList "workshop09-solutions", [ "html", "md"] %}
125126- Week 11 -- specification languages
126127 - Lab worksheet {% resourceList "workshop10", [ "html", "md"] %}
127128 - Sample worksheet solutions {% resourceList "workshop10-solutions", [ "html", "md"] %}
128-
129-
130129#}
131130
132131
0 commit comments