From 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 2 May 2004 08:21:25 +0000
Subject: gt Term

---
 src/JavaGUI/GFEditor2.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/JavaGUI')

diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index adbeebf12..2751c1c18 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -66,7 +66,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
          "erase", "take100", "text", "code", "latexfile", 
                         "structured", "unstructured" };
     private String [] modifyMenu = {"Modify", "identity","transfer", 
-         "compute", "paraphrase", "typecheck", "solve", "context" };
+         "compute", "paraphrase", "generate","typecheck", "solve", "context" };
 //    private String [] modeMenu = {"Menus", "printname", 
 //         "plain", "short", "long", "typed", "untyped" };
     private static String [] newMenu = {"New"};
-- 
cgit v1.2.3