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 /tactics/btermdn.ml | |
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 'tactics/btermdn.ml')
0 files changed, 0 insertions, 0 deletions