search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

Schaum Problem1.5 1.6 1.7 1.8 1.9 #270

Closed xyzw12345 closed 6 months ago

xyzw12345 commented 6 months ago

王镜廷

jjdishere commented 6 months ago

@xyzw12345 受不了了，你把其他习题改动出了很多错误，比如错误的把SEG_nd 改成了 SegND, 还有很多 B_ne_c这种大小写混用的情况

jjdishere commented 6 months ago

下次要追责了...

xyzw12345 commented 6 months ago

真的非常抱歉！在上一次SegND改名的时候因为不太熟悉具体的修改内容所以直接莽撞的选择了大范围的查找替换，改完发现有问题之后当时也不知道可以版本回退，所以没找到改回来的办法。

以后再碰到更新的时候我会更谨慎的处理的，而且只会对我自己负责的部分进行修改。

非常感谢您为解决我带来的这场混乱所付出的努力！

王镜廷

---- Replied Message ---- | From | @.> | | Date | 12/24/2023 14:58 | | To | jjdishere/EG @.> | | Cc | xyzw12345 @.>, Mention @.> | | Subject | Re: [jjdishere/EG] Schaum Problem1.5 1.6 1.7 1.8 1.9 (PR #270) |

@xyzw12345 受不了了，你把其他习题改动出了很多错误，比如错误的把SEG_nd 改成了 SegND, 还有很多 B_ne_c这种大小写混用的情况

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: @.***>