1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
(* This file is part of Proof General.
*
* © Copyright 2021 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 runtest.el in this directory.
*)
(* The test script relies on absolute line numbers.
* DO NOT INSERT/DELETE ANY LINE UNLESS YOU KNOW WHAT YOU ARE DOING.
*)
(* The delay for coqdep is specified in comments with key coqdep-delay,
* see compile-test-start-delayed.
*)
(* This is line 24 *)
Require Export b6.
Require Export c6.
Require Export d6.
(* This is line 28 *)
|
