From 996610b63df73488a2cb0f00ad91d56a38d73aaf Mon Sep 17 00:00:00 2001 From: peng Date: Mon, 5 Feb 2024 21:30:59 -0500 Subject: [PATCH] fix missing _ in filename. --- jgex_ag_231.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jgex_ag_231.txt b/jgex_ag_231.txt index 4693316..2929c2f 100644 --- a/jgex_ag_231.txt +++ b/jgex_ag_231.txt @@ -290,7 +290,7 @@ examples/complete2/004/complete_014_7_Book_00EE_07_E057-42.gex a b c = triangle a b c; d = midpoint d a c; e = midpoint e b a; f = midpoint f c b; g = on_line g a b; h = on_pline h d f g, on_line h a b ? cong h a g e examples/complete2/005/complete_005_Other_ndgs_03.gex b a c = triangle b a c; d = foot d b a c; e = foot e c a b; f = midpoint f c b; g = foot g f d e ? cong g e g d -examples/complete2/005/complete_000_rebuilt example_9point.gex +examples/complete2/005/complete_000_rebuilt_example_9point.gex a b c = triangle a b c; d = foot d a b c; e = midpoint e b a; f = midpoint f c b; g = midpoint g a c; o = circumcenter o e f g ? cyclic d g e f examples/complete2/005/complete_013_7_Book_00EE_11_E081-2.gex a b = segment a b; d = on_circle d a b; c = on_circle c a b, on_circle c b d; e = foot e d b c; f = intersection_lc f e a d; g = on_line g d e, on_circle g e f ? cong f c g d