blob: 53bc67d5dc78b3a9c1f1d5f4554b06f9a8986724 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* This file is part of Proof General.
*
* © Copyright 2020 Hendrik Tews
*
* Authors: Hendrik Tews
* Maintainer: Hendrik Tews <hendrik@askra.de>
*
* License: GPL (GNU GENERAL PUBLIC LICENSE)
*
*
* 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 d.
|
