log src/sat.tac @ 868:967b94ef821e

age author description
Tue, 04 Feb 2014 18:32:49 +0100 Goffi dates update