log src/sat.tac @ 767:318acc83a392

age author description
Fri, 08 Mar 2013 00:36:22 +0100 Goffi fixed licences in docstrings (they are now in comments)
Mon, 07 Jan 2013 23:30:13 +0100 Goffi dates update
Wed, 01 Aug 2012 22:53:02 +0200 Goffi Licence modification: the full project is now under AGPL v3+ instead of GPL v3+