| Mon, 04 Feb 2019 14:03:31 +0100 | wenzelm | clarified URL -- avoid odd certificate problem with api.media.atlassian.com; | changeset | files |
| Mon, 04 Feb 2019 12:07:55 +0100 | wenzelm | back to stable polyml-5.7.1-8 for now; | changeset | files |
| Mon, 04 Feb 2019 12:16:03 +0100 | Manuel Eberl | More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots | changeset | files |
| Sat, 02 Feb 2019 15:52:14 +0100 | wenzelm | clarified signature: Path.T as in Generated_Files; | changeset | files |
| Sat, 02 Feb 2019 14:51:11 +0100 | wenzelm | back to polyml-test-1b2dcf8f5202 -- more stable; | changeset | files |
| Fri, 01 Feb 2019 15:45:59 +0100 | wenzelm | updated to polyml-test-b68438d33c69; | changeset | files |
| Fri, 01 Feb 2019 15:02:36 +0100 | wenzelm | clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer"; | changeset | files |