prefer static library_call (again): avoid memory-leak within C code area;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4e9d22dcd595: updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
- Branches
- Unknown
- Tags