ideas-1.6

Changelog ideas-1.5 => ideas.1.6

• dynamic strategy combinator that uses the current object/term
• more instances for IsTerm (Maybe, Bool, Map, Set)
• exercise-specific properties (that can be parameterized over its type)
• support for encoding exercise terms in JSON (using an exercise property)
• basic support for Latex and MathJax (in html output)
• extended 'apply' feedback service with buggy rules and restarts
• redesigned (parameterized) transformations
• reimplemented strategy combinator split, based on %>>
• new function defaultMainWith, which takes options
• added 'onefinal' feedback service, which returns a final term in context
• layered design for sub-directories: renaming/moving some modules
  (e.g. Ideas.Utils.Prelude)
• Typeable constraint now properly encapsulated in Ref type
• removing (static) documentation generation (unused feature)
• removing Common.Algebra modules (now in the Math domain reasoner)
• fixed escaping of characters in xml
• fixed recognition of exercise IDs in ModeJSON
• fixed processing of Null in EncoderJSON
• fixed rule ordering in function ruleset

ideas-1.5

Changelog ideas-1.4 => ideas.1.5

• upgrade to ghc-7.10
• reintroducing dependency on standard cgi library
• adding missing instances for Term and ShowString
• new option for JSON mode: exercise terms can be encoded in JSON
• switched to QuickCheck's random number generator QCGen
• requests can fix the random seed
• added Term to service types, encoders and decoders
• JSON-Int can be used for decoded environments
• new implementation for interleave and atomic prefix combinators (more lazy)
• bug fix: "no prefix" now handled by json decoder