diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/mathtext/GeometryEng.gf | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
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
Diffstat (limited to 'examples/mathtext/GeometryEng.gf')
| -rw-r--r-- | examples/mathtext/GeometryEng.gf | 18 |
1 files changed, 0 insertions, 18 deletions
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") ; -} |