Added syntax 'import Path.Mod args as M'.
Test suite: allow to continue suite even if new error msg is not accepted.
The beauty and the beast.
Added an auxiliary function to check whether module has noName.
Added a field funCopy to Function to tell whether it was created by a module application.
Added whitespace in a debug print.
Added top level function to reduce definition one step.
Fixed issue 721: printing of anonymous modules.
The reifier now unfolds definitions that were created by module applications,
unless there exists a matching display form.
Release notes for better error messages.
Removed unnecessary calls of the cl package.
Issue 644 is fixed!  (Duplicate of 721.)
Resolved a double-negation (better for intuitionistic brains).
Fixed issue 723: looping instance search by dropping UnBlock constraints during search.
This was actually written down in one of Dominique's comments, but not implemented (or was lost).
Fixed bug introduced by removing the cl package.
Some information about how the Emacs mode can be debugged/tested.
Partial (?) fix for issue 725.
Second partial fix for issue 725.
Removed unused argument from error TooManyArgumentsInLHS (refactoring).
Documented type of continuation in checkLeftHandSide.
checkLeftHandSide passes gamma on only if no problem rest.