Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-11-18 | adding concept index and license information | Christian Grothoff | |
2016-03-17 | removing garbage | Marcello Stanisci | |
2016-03-15 | clarify licenses | Christian Grothoff | |
2015-01-29 | initial import of merchant logic (FTBFS) | Christian Grothoff | |