| 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 |
| Thu, 31 Jan 2019 22:53:35 +0100 | wenzelm | NEWS; | changeset | files |
| Thu, 31 Jan 2019 22:02:50 +0100 | wenzelm | more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME"; | changeset | files |
| Thu, 31 Jan 2019 21:59:30 +0100 | wenzelm | merged | changeset | files |
| Thu, 31 Jan 2019 21:33:24 +0100 | wenzelm | removed left-over test material (amending bb0a354f6b46); | changeset | files |