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 --------------------------------------------------------------------------------