From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
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/MathText.gf | 45 -------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 examples/mathtext/MathText.gf

(limited to 'examples/mathtext/MathText.gf')

diff --git a/examples/mathtext/MathText.gf b/examples/mathtext/MathText.gf
deleted file mode 100644
index 88357e67e..000000000
--- a/examples/mathtext/MathText.gf
+++ /dev/null
@@ -1,45 +0,0 @@
-abstract MathText = Logic ** {
-
-flags startcat = Book ;
-
-cat
-  Book ;
-  Section ;
-  [Section] {1} ;
-  Paragraph ;
-  [Paragraph] {1} ;
-  Statement ;
-  Declaration ;
-  [Declaration] {0} ;
-  Ident ;
-  Proof ;
-  Case ;
-  [Case] {2} ;
-  Number ;
- 
-fun
-  MkBook : [Section] -> Book ;
-  
-  ParAxiom   : Ident -> Statement -> Section ;
-  ParTheorem : Ident -> Statement -> Proof -> Section ;
-
-  ParDefInd   : [Declaration] -> Ind -> Ind -> Section ;
-  ParDefPred1 : [Declaration] -> Ind -> Pred1 -> Prop -> Section ;
-  ParDefPred2 : [Declaration] -> Ind -> Pred2 -> Ind -> Prop -> Section ;
-
-  StProp : [Declaration] -> Prop -> Statement ;
-
-  DecVar  : [Var] -> Dom -> Declaration ;
-  DecProp : Prop -> Declaration ;
-
-  PrEnd  : Proof ;
-  PrStep : Statement -> Proof -> Proof ;
-  PrBy   : Ident -> Prop -> Proof -> Proof ;
-  PrCase : Number -> [Case] -> Proof ;
-  CProof : Ident -> Proof -> Case ;
-
-  IdStr  : String -> Ident ;
-
-  Two, Three, Four, Five : Number ;
-
-}
-- 
cgit v1.2.3