From 96aa5f0ef60058e36a552933f8f678755d35f047 Mon Sep 17 00:00:00 2001
From: bunidin <bunyamin.dincer2003@gmail.com>
Date: Fri, 24 May 2024 19:33:55 +0200
Subject: [PATCH] Rename+Update
---
DrawingAppByBuni_v2.py => GUI_byBuni.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename DrawingAppByBuni_v2.py => GUI_byBuni.py (99%)
diff --git a/DrawingAppByBuni_v2.py b/GUI_byBuni.py
similarity index 99%
rename from DrawingAppByBuni_v2.py
rename to GUI_byBuni.py
index b297cd9..8ee796f 100644
--- a/DrawingAppByBuni_v2.py
+++ b/GUI_byBuni.py
@@ -268,7 +268,7 @@ class DrawingApp:
# Grammar buttons
grammar_elements = [
- "true", "false", "0", "1", "?",
+ "true", "false", "0", "1", "?", "(", ")",
"exists", "for all",
"subsumed by", "<=", "cons", "SR",
"or", "and", "implies",
--
GitLab