diff options
Diffstat (limited to 'examples/mathtext/GeometryGer.gf')
| -rw-r--r-- | examples/mathtext/GeometryGer.gf | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/examples/mathtext/GeometryGer.gf b/examples/mathtext/GeometryGer.gf deleted file mode 100644 index 25c2cf965..000000000 --- a/examples/mathtext/GeometryGer.gf +++ /dev/null @@ -1,19 +0,0 @@ ---# -path=alltenses - -concrete GeometryGer of Geometry = LogicGer ** - open SyntaxGer, ParadigmsGer, IrregGer in { -lin - Line = mkN "Gerade" ; - Point = mkN "Punkt" ; - Circle = mkN "Kreis" ; - Intersect = pred (mkV2 (mkV "schneiden")) ; - Parallel = pred (mkA2 (mkA "parallel") (mkPrep "zu" dative)) ; - Vertical = pred (mkA "vertikal") ; - Centre = app (mkN2 (mkN "Mittelpunkt") (mkPrep [] genitive)) ; - - Horizontal = mkVP (mkA "horizontal") ; - Diverge = mkVP (mkV "divergieren") ; - - Contain = mkVPSlash (mkV2 (fixprefixV "ent" halten_V)) ; - -} |
