ideas-1.0: ideas.cabal

name:                   ideas
version:                1.0
synopsis:               Feedback services for intelligent tutoring systems
homepage:               http://ideas.cs.uu.nl/www/
description:

  ideas provides feedback services to intelligent tutoring systems such as 
  the digital mathematical environment of the Freudenthal Institute, MathDox,
  and Activemath. 

category:               Education
copyright:              (c) 2011
license:                GPL
license-file:           LICENSE.txt
author:                 Bastiaan Heeren, Alex Gerdes, Johan Jeuring
maintainer:             bastiaan.heeren@ou.nl
stability:              provisional
extra-source-files:     CREDITS.txt
build-type:             Simple
cabal-version:          >= 1.8.0.2
tested-with:            GHC == 6.10.1, GHC == 7.0.2

source-repository head
  type:     svn
  location: https://ideas.cs.uu.nl/svn/Feedback/trunk/

--------------------------------------------------------------------------------

Executable              ideas
  Main-is: Main.hs
  ghc-options: -Wall
  hs-source-dirs: src
  other-modules:
    Common.Algebra.Boolean
    Common.Algebra.CoBoolean
    Common.Algebra.CoField
    Common.Algebra.CoGroup
    Common.Algebra.Field
    Common.Algebra.Group
    Common.Algebra.Law
    Common.Algebra.SmartGroup
    Common.Classes
    Common.Context
    Common.Derivation
    Common.DerivationTree
    Common.Exercise
    Common.Id
    Common.Library
    Common.Navigator
    Common.Predicate
    Common.Rewriting
    Common.Rewriting.AC
    Common.Rewriting.Confluence
    Common.Rewriting.Difference
    Common.Rewriting.RewriteRule
    Common.Rewriting.Substitution
    Common.Rewriting.Term
    Common.Rewriting.Unification
    Common.Strategy
    Common.Strategy.Abstract
    Common.Strategy.Combinators
    Common.Strategy.Configuration
    Common.Strategy.Core
    Common.Strategy.Location
    Common.Strategy.Parsing
    Common.Strategy.Prefix
    Common.Strategy.Tests
    Common.Transformation
    Common.Utils
    Common.Utils.QuickCheck
    Common.Utils.StringRef
    Common.Utils.TestSuite
    Common.Utils.Uniplate
    Common.View
    Documentation.DefaultPage
    Documentation.ExampleFile
    Documentation.ExercisePage
    Documentation.Make
    Documentation.OpenMathDerivations
    Documentation.OverviewPages
    Documentation.RulePage
    Documentation.RulePresenter
    Documentation.SelfCheck
    Documentation.ServicePage
    Documentation.TestsPage
    Documentation.ViewPage
    Domain.LinearAlgebra
    Domain.LinearAlgebra.Checks
    Domain.LinearAlgebra.EquationsRules
    Domain.LinearAlgebra.Exercises
    Domain.LinearAlgebra.GramSchmidtRules
    Domain.LinearAlgebra.LinearSystem
    Domain.LinearAlgebra.LinearView
    Domain.LinearAlgebra.Matrix
    Domain.LinearAlgebra.MatrixRules
    Domain.LinearAlgebra.Parser
    Domain.LinearAlgebra.Strategies
    Domain.LinearAlgebra.Vector
    Domain.Logic
    Domain.Logic.BuggyRules
    Domain.Logic.Examples
    Domain.Logic.Exercises
    Domain.Logic.Formula
    Domain.Logic.GeneralizedRules
    Domain.Logic.Generator
    Domain.Logic.Parser
    Domain.Logic.Rules
    Domain.Logic.Strategies
    Domain.Logic.Views
    Domain.Math.Approximation
    Domain.Math.CleanUp
    Domain.Math.Data.DecimalFraction
    Domain.Math.Data.Interval
    Domain.Math.Data.MixedFraction
    Domain.Math.Data.OrList
    Domain.Math.Data.Polynomial
    Domain.Math.Data.PrimeFactors
    Domain.Math.Data.Relation
    Domain.Math.Data.SquareRoot
    Domain.Math.Data.WithBool
    Domain.Math.Derivative.Examples
    Domain.Math.Derivative.Exercises
    Domain.Math.Derivative.Rules
    Domain.Math.Derivative.Strategies
    Domain.Math.Equation.BalanceRules
    Domain.Math.Equation.CoverUpExercise
    Domain.Math.Equation.CoverUpRules
    Domain.Math.Equation.Examples
    Domain.Math.Equation.Views
    Domain.Math.ExerciseList
    Domain.Math.Expr
    Domain.Math.Expr.Clipboard
    Domain.Math.Expr.Data
    Domain.Math.Expr.Parser
    Domain.Math.Expr.Symbols
    Domain.Math.Expr.Views
    Domain.Math.Numeric.Exercises
    Domain.Math.Numeric.Generators
    Domain.Math.Numeric.Rules
    Domain.Math.Numeric.Strategies
    Domain.Math.Numeric.Tests
    Domain.Math.Numeric.Views
    Domain.Math.Polynomial.Balance
    Domain.Math.Polynomial.BalanceUtils
    Domain.Math.Polynomial.BuggyBalance
    Domain.Math.Polynomial.BuggyRules
    Domain.Math.Polynomial.Equivalence
    Domain.Math.Polynomial.Examples
    Domain.Math.Polynomial.Exercises
    Domain.Math.Polynomial.Generators
    Domain.Math.Polynomial.IneqExercises
    Domain.Math.Polynomial.LeastCommonMultiple
    Domain.Math.Polynomial.RationalExamples
    Domain.Math.Polynomial.RationalExercises
    Domain.Math.Polynomial.RationalRules
    Domain.Math.Polynomial.Rules
    Domain.Math.Polynomial.Strategies
    Domain.Math.Polynomial.Tests
    Domain.Math.Polynomial.Views
    Domain.Math.Power.Equation.Examples
    Domain.Math.Power.Equation.Exercises
    Domain.Math.Power.Equation.NormViews
    Domain.Math.Power.Equation.Rules
    Domain.Math.Power.Equation.Strategies
    Domain.Math.Power.Examples
    Domain.Math.Power.Exercises
    Domain.Math.Power.NormViews
    Domain.Math.Power.OldViews
    Domain.Math.Power.Rules
    Domain.Math.Power.Strategies
    Domain.Math.Power.Utils
    Domain.Math.Power.Views
    Domain.Math.Safe
    Domain.Math.Simplification
    Domain.Math.SquareRoot.Tests
    Domain.Math.SquareRoot.Views
    Domain.RelationAlgebra
    Domain.RelationAlgebra.Exercises
    Domain.RelationAlgebra.Formula
    Domain.RelationAlgebra.Generator
    Domain.RelationAlgebra.Parser
    Domain.RelationAlgebra.Rules
    Domain.RelationAlgebra.Strategies
    Main
    Main.IDEAS
    Main.LoggingDatabase
    Main.Options
    Main.Revision
    Service.BasicServices
    Service.Diagnose
    Service.DomainReasoner
    Service.Evaluator
    Service.FeedbackScript.Analysis
    Service.FeedbackScript.Parser
    Service.FeedbackScript.Run
    Service.FeedbackScript.Syntax
    Service.FeedbackText
    Service.ModeJSON
    Service.ModeXML
    Service.OpenMathSupport
    Service.ProblemDecomposition
    Service.Request
    Service.RulesInfo
    Service.ServiceList
    Service.State
    Service.StrategyInfo
    Service.Submit
    Service.TypedExample
    Service.Types
    Text.HTML
    Text.JSON
    Text.OpenMath.Dictionary.Arith1
    Text.OpenMath.Dictionary.Calculus1
    Text.OpenMath.Dictionary.Fns1
    Text.OpenMath.Dictionary.Linalg2
    Text.OpenMath.Dictionary.List1
    Text.OpenMath.Dictionary.Logic1
    Text.OpenMath.Dictionary.Nums1
    Text.OpenMath.Dictionary.Quant1
    Text.OpenMath.Dictionary.Relation1
    Text.OpenMath.Dictionary.Transc1
    Text.OpenMath.FMP
    Text.OpenMath.MakeSymbols
    Text.OpenMath.Object
    Text.OpenMath.Symbol
    Text.OpenMath.Tests
    Text.Parsing
    Text.UTF8
    Text.XML
    Text.XML.Document
    Text.XML.Interface
    Text.XML.Parser
    Text.XML.Unicode
  build-depends:        base >= 4.2 && < 5,
                        directory,
                        time,
                        mtl,
                        cgi,
                        containers,
                        QuickCheck >= 2.4.1,
                        random,
                        filepath,
                        parsec,
                        uniplate

--------------------------------------------------------------------------------