1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7/* Insert proof text to force a PolyML garbage collection. This is useful when
8 * a `try` or `sledgehammer` invocation has forced your machine into swap and
9 * has refused to return memory even after it has stopped running. Recommended
10 * usage is to bind this to a keyboard shortcut.
11 */
12
13textArea.setSelectedText("ML {* PolyML.fullGC () *}");
14