Merge branch 'main' of github.com:cuppajoeman/openmath

cuppajoeman · Sep 15, 2023 · b3c6c5e · b3c6c5e
2 parents 78a480b + 2c3de90
commit b3c6c5e
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/html/.DS_Store b/html/.DS_Store
diff --git a/html/geometry/geometry.html b/html/geometry/geometry.html
@@ -47,6 +47,14 @@
 				</div>
 			</div>
 
+			<div class="definition" id="definition-area">
+				<div class="title">area</div>
+				<div class="content">
+					An area is a region of a <span class="knowledge-link" data-href="/geometry/geometry.html#definition-plane">plane</span>
+				</div>
+			</div>
+
+
 			<div class="definition" id="definition-ray">
 				<div class="title">ray</div>
 				<div class="content">