CHANGELOG.txt

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


Changelog ideas-1.3.1 => ideas.1.4
-----------------------------------------------------------------------------

* refactoring of strategies
  - strategies are now represented cyclic trees (that preserve fixpoints)
  - new strategy combinators can be defined outside the framework
  - simpler interfaces: no more Builder, Step, and Core datatypes
  - nice speed-up for constructing and running strategies
  
* support for new database schema (v2) with more columns
  - request can have an optional 'logging' attribute (false, v1, v2)
  - command-line flag for seeing information that is logged 
  - userid, sessionid, and taskid are stored in a state

* changing license to Apache License version 2.0 (was: GPL)
* renaming strategy combinators (eg .*.) to solve clash with Applicative.<*> 
* adding SyntaxError constructor to Diagnose datatype
* added read instance for Difficulty
* changed newline and tab escaping in JSON
* re-implemented atomic combinator
* introduced inits combinator  (initial prefixes) and atomic prefix (!~>)
* introduced somewhereWhen traversal combinator
* added cabal flag to resolve dependency on network >= 2.6
* added cabal flag to enable support for logging