diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-10-07 13:34:54 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-10-07 13:34:54 +0200 |
| commit | 581ca300528ca6c406d20c0ed75b7b941f010c5f (patch) | |
| tree | 0922ab3beb2f887d1ee2b000769f14e2cb7df61e /src/include | |
| parent | 56efe31c40c2e8ef76f4eb2a7ba7e98ac78a0b15 (diff) | |
FC17 formatting, stress refresh protocol in title and abstract; stress cut-and-choose is practical with kappa=3
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions