| Tue, 18 Aug 2015 16:08:47 +0200 | wenzelm | clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations); | changeset | files |
| Tue, 18 Aug 2015 15:37:50 +0200 | wenzelm | SOMEthing went wrong in eb87fc42825c; | changeset | files |
| Tue, 18 Aug 2015 15:08:22 +0200 | wenzelm | include libgmp; | changeset | files |