From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/mathtext/GeometryEng.gf | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 examples/mathtext/GeometryEng.gf (limited to 'examples/mathtext/GeometryEng.gf') diff --git a/examples/mathtext/GeometryEng.gf b/examples/mathtext/GeometryEng.gf deleted file mode 100644 index bb8243527..000000000 --- a/examples/mathtext/GeometryEng.gf +++ /dev/null @@ -1,18 +0,0 @@ ---# -path=alltenses - -concrete GeometryEng of Geometry = LogicEng ** - open SyntaxEng, ParadigmsEng in { -lin - Line = mkN "line" ; - Point = mkN "point" ; - Circle = mkN "circle" ; - Intersect = pred (mkV2 "intersect") ; - Parallel = pred (mkA2 (mkA "parallel") (mkPrep "to")) ; - Vertical = pred (mkA "vertical") ; - Centre = app (mkN2 (mkN "centre") (mkPrep "of")) ; - - Horizontal = mkVP (mkA "horizontal") ; - Diverge = mkVP (mkV "diverge") ; - - Contain = mkVPSlash (mkV2 "contain") ; -} -- cgit v1.2.3