homalg-project/IO_ForHomalg — pull request #1 by sebasguts (2012-05-24 14:39:07+00:00)
Title: Made checks to not again terminate an already

terminated CAS.