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/attempto/Attempto1.gf | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 examples/attempto/Attempto1.gf (limited to 'examples/attempto/Attempto1.gf') diff --git a/examples/attempto/Attempto1.gf b/examples/attempto/Attempto1.gf deleted file mode 100644 index 50526a889..000000000 --- a/examples/attempto/Attempto1.gf +++ /dev/null @@ -1,29 +0,0 @@ --- 15.58 - -abstract Attempto = { - -flags startcat = ACEText ; - -cat - ACEText ; - Query ; - Command ; -fun - ASpecification : Specification -> ACEText ; - AQuery : Query -> ACEText ; - ACommand : Command -> ACEText ; -cat - PropositionOrSentenceCoord ; - TopicalisedQuestion ; -fun - QQuery : PropositionOrSentenceCoord -> Query -> Query ; - QTopicalizer : TopicalisedQuestion -> Query ; -cat - ExistentialQuestionTopic ; - SentenceCoord ; -fun - TExistential : ExistentialQuestionTopic -> SentenceCoord -> TopicalisedQuestion ; - TUniversal : UniversalTopic -> TopicalisedQuestion -> TopicalisedQuestion ; - TQuestion : Question -> TopicalisedQuestion ; - -} -- cgit v1.2.3