Changed show rules to question environment.

This commit is contained in:
orca 2024-03-29 09:08:06 +01:00
parent e90feb7f3c
commit 490da9eb93
Signed by: orca
GPG Key ID: 6923B8DFED96A68A
1 changed files with 1 additions and 0 deletions

View File

@ -44,6 +44,7 @@
show figure.where(kind: remark-id): it => it.body
show figure.where(kind: example-id): it => it.body
show figure.where(kind: exercise-id): it => it.body
show figure.where(kind: question-id): it => it.body
show figure.where(kind: proof-id): it => it.body
/* Show headings like in amsart. */