| Fri, 06 Nov 2020 20:51:07 +0100 | nipkow | added lemma | changeset | files |
| Fri, 06 Nov 2020 14:32:42 +0100 | wenzelm | prefer static library_call (again): avoid memory-leak within C code area; | changeset | files |
| Fri, 06 Nov 2020 13:43:49 +0100 | wenzelm | updated to polyml-test-7e49fce62e3d --- follow current ongoing development; | changeset | files |
| Fri, 06 Nov 2020 13:42:23 +0100 | wenzelm | back to https://isabelle.sketis.net/components (more reliable); | changeset | files |