diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-10-01 18:38:22 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-10-01 18:38:22 +0200 |
| commit | cf5b48eaaa584b778bec0b85e0762f94f55b2f22 (patch) | |
| tree | 1818a5023d23abc16af78f7bffa3a63debf43569 /AUTHORS | |
| parent | e2f988b995290fdfa2552a396766c32dc7993fa9 (diff) | |
| download | exchange-cf5b48eaaa584b778bec0b85e0762f94f55b2f22.tar.gz exchange-cf5b48eaaa584b778bec0b85e0762f94f55b2f22.tar.bz2 exchange-cf5b48eaaa584b778bec0b85e0762f94f55b2f22.zip | |
make formulations precise
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions