2018-02-09 | wenzelm | support for libgmp for x86_64-darwin; | changeset | files |
2018-02-09 | wenzelm | built-in library path for (optional) libgmp on macos; | changeset | files |
2018-02-09 | wenzelm | removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required; | changeset | files |
2018-02-09 | wenzelm | more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses); | changeset | files |
2018-02-08 | eberlm | Merged | changeset | files |
2018-02-08 | Manuel Eberl | Some lemmas about complex sinh/cosh/tanh | changeset | files |
Loading... |