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/LexLogicGer.gf | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 examples/mathtext/LexLogicGer.gf (limited to 'examples/mathtext/LexLogicGer.gf') diff --git a/examples/mathtext/LexLogicGer.gf b/examples/mathtext/LexLogicGer.gf deleted file mode 100644 index a2d8e8431..000000000 --- a/examples/mathtext/LexLogicGer.gf +++ /dev/null @@ -1,16 +0,0 @@ -instance LexLogicGer of LexLogic = open SyntaxGer, ParadigmsGer, - (MS = MakeStructuralGer), Prelude in { - -oper - case_N = mkN "Fall" "Fälle" masculine ; - such_A = invarA "derart" ; ---- - by_Prep = mkPrep "durch" accusative ; - all_Det = aPl_Det ; - axiom_N = mkN "Axiom" ; - theorem_N = mkN "Theorem" ; - definition_N = mkN "Definition" ; - define_V3 = - mkV3 (mkV "definieren") (mkPrep [] accusative) (mkPrep "als" accusative) ; - define_V2V = mkV2V (mkV "definieren") (mkPrep [] accusative) ; - iff_Subj = MS.mkSubj "wenn und nur wenn" ; -} -- cgit v1.2.3