(* This file is part of Proof General.
 *
 * © Copyright 2020  Hendrik Tews
 *
 * Authors: Hendrik Tews
 * Maintainer: Hendrik Tews <hendrik@askra.de>
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *
 *
 * This file is part of an automatic test case for parallel background
 * compilation in coq-par-compile.el. See test.el in this directory.
 *)

Require e f.
