changed names of resource-1.3; added a note on homepage on release

1 files changed, 0 insertions, 25 deletions

diff --git a/examples-3.0/tutorial/calculator/CalculatorJ.gf b/examples-3.0/tutorial/calculator/CalculatorJ.gf
deleted file mode 100644
index 68ff5342c..000000000
--- a/examples-3.0/tutorial/calculator/CalculatorJ.gf
+++ /dev/null
@@ -1,25 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorJ of Calculator = open Prelude in {
-
-  flags lexer=codevars ; unlexer=code ;
-
-  lincat 
-    Prog, Exp, Var = SS ;
-
-  lin
-    PEmpty = ss [] ;
-    PInit exp prog = ss (exp.s ++ ";" ++ "istore" ++ prog.$0 ++ ";" ++ prog.s) ;
-    PAss vr exp prog = ss (exp.s ++ ";" ++ "istore" ++ vr.s ++ ";" ++ prog.s) ;
-
-    EPlus  = postfix "iadd" ;
-    EMinus = postfix "isub" ;
-    ETimes = postfix "imul" ;
-    EDiv   = postfix "idiv" ;
-
-    EInt = prefixSS "iconst" ;
-    EVar = prefixSS "iload" ;
-
-  oper
-    postfix : Str -> SS -> SS -> SS = \op,x,y -> ss (x.s ++ ";" ++ y.s ++ ";" ++ op) ;
-}