documentation update
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 25 Oct 2002 18:15:58 +0000 (18:15 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 25 Oct 2002 18:15:58 +0000 (18:15 +0000)
commit56311ee6a9b5eca6470b3924f738a6b642750b9c
tree8acdcc68773013ea1b22c6e3892afdec328b53d7
parent22e6b5b7ab6d6c48de1687b293c6e6ece68d3426
documentation update
NEWS