ideas-0.7: ideas.cabal

name:                   ideas
version:                0.7
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) 2010
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 == 6.12.1

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

Executable              ideas
  Main-is: Main.hs
  ghc-options: -Wall
  hs-source-dirs: src
  other-modules:
    Common.Classes
    Common.Context
    Common.Derivation
    Common.Exercise
    Common.Id
    Common.Library
    Common.Navigator
    Common.Rewriting.AC
    Common.Rewriting.Axioms
    Common.Rewriting.Confluence
    Common.Rewriting.Difference
    Common.Rewriting.Group
    Common.Rewriting.Operator
    Common.Rewriting.RewriteRule
    Common.Rewriting.Substitution
    Common.Rewriting.Term
    Common.Rewriting.Unification
    Common.Rewriting
    Common.Strategy.Abstract
    Common.Strategy.Combinators
    Common.Strategy.Configuration
    Common.Strategy.Core
    Common.Strategy.Location
    Common.Strategy.Parsing
    Common.Strategy.Prefix
    Common.Strategy
    Common.StringRef
    Common.TestSuite
    Common.Transformation
    Common.Uniplate
    Common.Utils
    Common.View
    Documentation.DefaultPage
    Documentation.DerivationUnitTests
    Documentation.ExercisePage
    Documentation.Make
    Documentation.OverviewPages
    Documentation.RulePage
    Documentation.RulePresenter
    Documentation.SelfCheck
    Documentation.ServicePage
    Documentation.TestsPage
    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.LinearAlgebra
    Domain.Logic.BuggyRules
    Domain.Logic.Examples
    Domain.Logic.Exercises
    Domain.Logic.FeedbackText
    Domain.Logic.Formula
    Domain.Logic.GeneralizedRules
    Domain.Logic.Generator
    Domain.Logic.Parser
    Domain.Logic.Proofs
    Domain.Logic.Rules
    Domain.Logic.Strategies
    Domain.Logic.Views
    Domain.Logic
    Domain.Math.Approximation
    Domain.Math.Clipboard
    Domain.Math.Data.Interval
    Domain.Math.Data.OrList
    Domain.Math.Data.Polynomial
    Domain.Math.Data.PrimeFactors
    Domain.Math.Data.Relation
    Domain.Math.Data.SquareRoot
    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.Views
    Domain.Math.Examples.DWO1
    Domain.Math.Examples.DWO2
    Domain.Math.Examples.DWO3
    Domain.Math.Examples.DWO4
    Domain.Math.Examples.DWO5
    Domain.Math.Expr.Data
    Domain.Math.Expr.Parser
    Domain.Math.Expr.Symbols
    Domain.Math.Expr.Views
    Domain.Math.Expr
    Domain.Math.Numeric.Exercises
    Domain.Math.Numeric.Generators
    Domain.Math.Numeric.Laws
    Domain.Math.Numeric.Rules
    Domain.Math.Numeric.Strategies
    Domain.Math.Numeric.Tests
    Domain.Math.Numeric.Views
    Domain.Math.Polynomial.BuggyRules
    Domain.Math.Polynomial.CleanUp
    Domain.Math.Polynomial.Equivalence
    Domain.Math.Polynomial.Exercises
    Domain.Math.Polynomial.Generators
    Domain.Math.Polynomial.IneqExercises
    Domain.Math.Polynomial.LeastCommonMultiple
    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.Exercises
    Domain.Math.Power.Equation.NormViews
    Domain.Math.Power.Equation.Rules
    Domain.Math.Power.Equation.Strategies
    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.Simplification
    Domain.Math.SquareRoot.Tests
    Domain.Math.SquareRoot.Views
    Domain.RelationAlgebra.Exercises
    Domain.RelationAlgebra.Formula
    Domain.RelationAlgebra.Generator
    Domain.RelationAlgebra.Parser
    Domain.RelationAlgebra.Rules
    Domain.RelationAlgebra.Strategies
    Domain.RelationAlgebra
    Main.IDEAS
    Main.LoggingDatabase
    Main.Options
    Main.Revision
    Main
    Service.BasicServices
    Service.Diagnose
    Service.DomainReasoner
    Service.Evaluator
    Service.ExercisePackage
    Service.FeedbackText
    Service.ModeJSON
    Service.ModeXML
    Service.ProblemDecomposition
    Service.Request
    Service.RulesInfo
    Service.ServiceList
    Service.State
    Service.StrategyInfo
    Service.Submit
    Service.TypedExample
    Service.Types
    Text.HTML
    Text.JSON
    Text.OpenMath.ContentDictionary
    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.Scanning
    Text.UTF8
    Text.XML.Document
    Text.XML.Interface
    Text.XML.ParseLib
    Text.XML.Parser
    Text.XML.TestSuite
    Text.XML.Unicode
    Text.XML
  build-depends:        base >= 4.2 && < 5,
                        directory,
                        time,
                        mtl,
                        cgi,
                        containers,
                        QuickCheck >= 2.1.0.3,
                        random,
                        uulib,
                        filepath,
                        parsec,
                        old-time,
                        uniplate

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