log src/sat.tac @ 919:ed9841e6d84a

age author description
Tue, 04 Feb 2014 18:32:49 +0100 Goffi dates update
Sun, 29 Dec 2013 17:06:01 +0100 Goffi core: i18n refactoring:
Fri, 08 Mar 2013 00:36:22 +0100 Goffi fixed licences in docstrings (they are now in comments)