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

1 files changed, 0 insertions, 24 deletions

diff --git a/examples-3.0/tutorial/calculator/CalculatorC.gf b/examples-3.0/tutorial/calculator/CalculatorC.gf
deleted file mode 100644
index 53eade357..000000000
--- a/examples-3.0/tutorial/calculator/CalculatorC.gf
+++ /dev/null
@@ -1,24 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorC of Calculator = open Prelude, Formal in {
-
-  flags lexer=codevars ; unlexer=code ;
-
-  lincat 
-    Prog, Var = SS ; 
-    Exp = TermPrec ;
-
-  lin
-    PEmpty = ss [] ;
-    PInit exp prog = ss ("int" ++ prog.$0 ++ "=" ++ top exp ++ ";" ++ prog.s) ;
-    PAss vr exp prog = ss (vr.s ++ "=" ++ top exp ++ ";" ++ prog.s) ;
-
-    EPlus  = infixl 0 "+" ;
-    EMinus = infixl 0 "-" ;
-    ETimes = infixl 1 "*" ;
-    EDiv   = infixl 1 "/" ;
-
-    EInt i = constant i.s ;
-    EVar x = constant x.s ;
-
-}