Adding notes

This commit is contained in:
2026-01-13 07:06:29 -05:00
parent 9c395df65f
commit f90ca0eb39
3 changed files with 301 additions and 22 deletions
+3 -3
View File
@@ -120,11 +120,11 @@
<!-- Whether to knowl a particular elements is set here -->
<!-- Lots of elements have this possibility; see the guide -->
<!--<knowl
<knowl
theorem="no"
proof="yes"
definition="no"
example="yes"
example="no"
example-solution="yes"
project="no"
task="no"
@@ -139,7 +139,7 @@
exercise-divisional="no"
exercise-worksheet="no"
exercise-readingquestion="no"
/>-->
/>
<!-- Specify the theme for the html by giving names to -->
<!-- override defaults. Ex:<css theme="denver"/> -->