chore: update files

leanprover-community · Apr 13, 2023 · 87794c1 · 87794c1
1 parent 8ed708a
commit 87794c1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ProofWidgets.lean b/ProofWidgets.lean
@@ -1,9 +1,11 @@
 import ProofWidgets.Component.Basic
 import ProofWidgets.Component.HtmlDisplay
 import ProofWidgets.Component.InteractiveSvg
+import ProofWidgets.Component.Panel
 import ProofWidgets.Component.PenroseDiagram
+import ProofWidgets.Component.Recharts
+import ProofWidgets.Component.SelectionPanel
 import ProofWidgets.Data.Html
 import ProofWidgets.Data.Json
 import ProofWidgets.Data.Svg
 import ProofWidgets.Presentation.Expr
-import ProofWidgets.Presentation.Goal