Fri, 09 Feb 2018 11:14:13 +0100 | wenzelm | more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses); | changeset | files |
Thu, 08 Feb 2018 15:15:01 +0100 | eberlm | Merged | changeset | files |
Thu, 08 Feb 2018 09:19:28 +0100 | Manuel Eberl | Some lemmas about complex sinh/cosh/tanh | changeset | files |