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

1 files changed, 0 insertions, 27 deletions

diff --git a/examples-3.0/tutorial/calculator/CalculatorP.gf b/examples-3.0/tutorial/calculator/CalculatorP.gf
deleted file mode 100644
index 57ac549c1..000000000
--- a/examples-3.0/tutorial/calculator/CalculatorP.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorP of Calculator = open Prelude in {
-
-  flags lexer=codevars ; unlexer=code ;
-
-  lincat 
-    Prog, Var = SS ; 
-    Exp = SS ;
-
-  lin
-    PEmpty = ss [] ;
-    PDecl exp prog = ss ("int" ++ prog.$0 ++ "=" ++ exp.s ++ ";" ++ prog.s) ;
-    PAss vr exp prog = ss (vr.s ++ "=" ++ exp.s ++ ";" ++ prog.s) ;
-
-    EPlus  = infix "+" ;
-    EMinus = infix "-" ;
-    ETimes = infix "*" ;
-    EDiv   = infix "/" ;
-
-    EInt i = i ;
-    EVar x = x ;
-
-  oper
-    infix : Str -> SS -> SS -> SS = \f,x,y -> 
-      ss ("(" ++ x.s ++ f ++ y.s ++ ")") ;
-}