You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: website_files/CaseStudies/2024/Parsons.md
+3-3Lines changed: 3 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -144,7 +144,7 @@ Each structural diamond has its own specific properties; the \(\Leftrightarrow\)
144
144
145
145
To implement proof trees in STACK, we developed a Maxima proof library in STACK called `prooflib.mac` which contains a number of functions which represent various structural diamond nodes.
146
146
For example, the function `proof_iff` takes two arguments and satisfies `proof_iff(A, B) = proof_iff(B, A)`, whereas the function `proof` takes an arbitrary number of arguments which must appear in order.
147
-
See the <ahref="https://docs.stack-assessment.org/en/Proof/Proof_CAS_library/"target="_blank">documentation</a> for more information on these proof functions.
147
+
See the <ahref="https://docs.stack-assessment.org/en/Topics/Proof/Proof_CAS_library/"target="_blank">documentation</a> for more information on these proof functions.
148
148
149
149
## A proof assessment algorithm
150
150
@@ -202,11 +202,11 @@ Some examples of how this looks on the question page in STACK for non-unique cor
202
202
203
203
To write a Parson's problem in STACK, the library `prooflib.mac` should be loaded using `stack_include_contrib` within _Question variables_.
204
204
This makes available all the various proof functions needed to construct proof trees and assess answers.
205
-
All of the pre-written steps and the model proof-tree answer can be written in the _Question variables_ field, see the <ahref="https://docs.stack-assessment.org/en/Topics/Parsons/"target="_blank">documentation</a> for details on the syntax required.
205
+
All of the pre-written steps and the model proof-tree answer can be written in the _Question variables_ field, see the <ahref="https://docs.stack-assessment.org/en/Specialist_tools/Drag_and_drop/Parsons/"target="_blank">documentation</a> for details on the syntax required.
206
206
The main drag-and-drop functionality is achieved through the use of the <ahref="https://sortablejs.github.io/Sortable/"target="_blank">Sortable</a> JavaScript library, which is a widely used and supported library for drag-and-drop features.
207
207
In STACK, this functionality is wrapped by a `parsons` block so there is no need for the author to write any JavaScript themselves.
208
208
However, authors are able to customise the drag-and-drop functionality to a certain degree, either by block header parameters in the `parsons` block or through the options field in the block contents.
209
-
For further details on how to get started writing a Parson's problem, follow the <ahref="https://docs.stack-assessment.org/en/Topics/Parsons/"target="_blank">documentation</a>.
209
+
For further details on how to get started writing a Parson's problem, follow the <ahref="https://docs.stack-assessment.org/en/Specialist_tools/Drag_and_drop/Parsons/"target="_blank">documentation</a>.
0 commit comments