documentation update
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 24 Oct 2002 20:37:03 +0000 (20:37 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 24 Oct 2002 20:37:03 +0000 (20:37 +0000)
commit7159dc04b88c350af7e023a69d056ad00c25a8e9
tree682274350b02077c8827bb367d68a0dbf824ac38
parentcb44ba3cf4ab55d364365e807bb0eac249c8186c
documentation update
NEWS