diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2015-01-21 10:01:49 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-01-21 10:01:49 +0100 |
| commit | b855224b5ce5deda9853af1bed9b135a7ea9a76b (patch) | |
| tree | a8a20b13c96ae3368832f622685ca59426279738 /proofs | |
| parent | 5b653d2bb4d9f7b4c6f1faf4b3c17d6400cadf48 (diff) | |
Reference Manual/Credits: native compute is a major contribution.
It is, at the very least, listed as such in the overview. So, I moved it to the relevant part and expanded the description with a sentence or two.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions