Commit Graph

2 Commits

Author SHA1 Message Date
Christian Grothoff
b5cba32510 renaming mint->exchange 2016-03-01 15:35:04 +01:00
Christian Grothoff
7c9d82174f more misc edits to the paper, also making sure it fits within page limits 2015-09-24 15:40:27 +02:00