v1.2.3

• Update Max Neunhoeffer's contact data
• Use AutoDoc to generate title page of the manual from PackageInfo.g
• Remove Akos' contact data
• Add Max Horn as a maintainer

v1.2.2

• Previous release had an invalid release date in
  PackageInfo.g (2014-04-31 instead of 2014-03-31).
• Merge HISTORY and CHANGES files.

v1.2.1

• Move package repository and website to GitHub

v1.2

Fix a URL.

git-svn-id: svn+ssh://helios.math.rwth-aachen.de/home2/thuban/svnuser/recog/trunk/recog@209 df38db71-a120-0410-a579-d5571024c943

v1.1

Finishing touches.

git-svn-id: svn+ssh://helios.math.rwth-aachen.de/home2/thuban/svnuser/recog/trunk/recog@188 df38db71-a120-0410-a579-d5571024c943

v1.0

Changed abstractHTML.

git-svn-id: svn+ssh://helios.math.rwth-aachen.de/home2/thuban/svnuser/recog/trunk/recog@144 df38db71-a120-0410-a579-d5571024c943