log src/sat.tac @ 223:86d249b6d9b7

age author description
2010-12-29 Goffi Files reorganisation base sat.tac@5b38c581e2a8