From: Ralf Jung Date: Mon, 15 Jul 2019 11:50:28 +0000 (+0200) Subject: be more explicit about the abstract machine earlier X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/4c2e82a3f7cc25046ca2984c1d93f19c212236f2?ds=sidebyside;hp=4c2e82a3f7cc25046ca2984c1d93f19c212236f2 be more explicit about the abstract machine earlier ---