| Wed, 12 Apr 2017 21:13:43 +0200 | wenzelm | global session_base for PIDE interaction; | changeset | files |
| Wed, 12 Apr 2017 19:56:47 +0200 | wenzelm | more explicit jEdit file operations; | changeset | files |
| 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 |