From 87794c18c80f90c1acc80f0705e997af65ada7d2 Mon Sep 17 00:00:00 2001 From: Wojciech Nawrocki Date: Wed, 12 Apr 2023 23:52:23 -0400 Subject: [PATCH] chore: update files --- ProofWidgets.lean | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ProofWidgets.lean b/ProofWidgets.lean index 183b6a6..7e8cd88 100644 --- 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