[ issue 1259 ] test case
[ new ] Added field terInlineWithFunctions to termination monad.
[ issue 1259 ] Fixed by properly disabling with-inlining.
[ LaTeX-backend ] Add experimental support for references to previously
typset commands.
[ LaTeX-backend ] Add test case for previous commit.
[ new ] added commonPrefix and commonSuffix to Utils.List
[ refactor ] moved literal pretty instance to Literal module
[ new ] pure pretty printer for internal syntax

The (derived) show instance for is really horrible to read. Sometimes
you are in a position where you don't have access to prettyTCM but you
still want readable terms for debugging.
[ test ] fixed bugs in commonPre/Suf properties
[ new ] added countTelVars to count bindings in a concrete telescope
[ issue892 ] fixed

Required a slight change in the semantics of module application.
Previously re-exported functions were not redefined in the new module,
but simply aliased by the scope checker. This is wrong as issue 892
shows, so now all exported functions are redefined, which may lead to
ambiguous identifier errors in code that previously checked.
[ issue892 ] another test case
Merge branch 'issue892'
[ issue892 ] release notes
[ new ] Utils applyWhenM and applyUnlessM.
[ new ] Added fiels terMaskArgs and terMaskResult to termination monad.
[ issue 1023 ] Extended Jesper's fix to coinduction.

Also refactored his test for pattern being of data/record type; the check is
now done once per function instead of once per clause.
[ tiny refactor ] Use terUnguarded.
[ debug ] use text . show for QName instead of prettyTCM.

Had the suspicion that things were prettyfied to much (but was not true).
[ issue 1023 ] Error message of failed test.