| Wed, 12 Apr 2017 17:48:19 +0200 | wenzelm | early check and normalization of session directory, e.g. relevant for path information passed to ML process, which may have a different CWD; | changeset | files |
| Wed, 12 Apr 2017 14:59:55 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 Apr 2017 09:27:47 +0200 | haftmann | tuned | changeset | files |
| Wed, 12 Apr 2017 09:27:43 +0200 | haftmann | more fundamental euler's totient function on nat rather than int; | changeset | files |
| Wed, 12 Apr 2017 13:48:07 +0200 | wenzelm | merged | changeset | files |
| Tue, 11 Apr 2017 20:27:14 +0200 | wenzelm | more informative known_files: known_theories within the local session directory come first; | changeset | files |