summaryrefslogtreecommitdiff
path: root/examples/mathtext/MathTextGer.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/mathtext/MathTextGer.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (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/MathTextGer.gf')
-rw-r--r--examples/mathtext/MathTextGer.gf5
1 files changed, 0 insertions, 5 deletions
diff --git a/examples/mathtext/MathTextGer.gf b/examples/mathtext/MathTextGer.gf
deleted file mode 100644
index b608dde63..000000000
--- a/examples/mathtext/MathTextGer.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete MathTextGer of MathText = LogicGer ** MathTextI with
- (LexLogic = LexLogicGer),
- (Syntax = SyntaxGer),
- (Lang = LangGer), ---- for ImpP3
- (Symbolic = SymbolicGer) ;