The development of the KaVE tools will be continued in the new repositories of the KaVE project. The still find the full history of this project in the repository that you that you are looking at right now, but development will no longer be continued here. Please head to the new location to receive all further updates.