summaryrefslogtreecommitdiff
path: root/examples/mathtext/MathTextEng.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/MathTextEng.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/MathTextEng.gf')
-rw-r--r--examples/mathtext/MathTextEng.gf5
1 files changed, 0 insertions, 5 deletions
diff --git a/examples/mathtext/MathTextEng.gf b/examples/mathtext/MathTextEng.gf
deleted file mode 100644
index 4577fff24..000000000
--- a/examples/mathtext/MathTextEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-concrete MathTextEng of MathText = LogicEng ** MathTextI with
- (LexLogic = LexLogicEng),
- (Syntax = SyntaxEng),
- (Lang = LangEng), ---- ImpP3
- (Symbolic = SymbolicEng) ;