log src/sat.tac @ 888:d0ed6993d562

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