[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Benchmark paper: Journal of Automated Reasoning LaTeX
- Subject: Re: Benchmark paper: Journal of Automated Reasoning LaTeX
- From: Chris Warburton
- Date: Fri, 16 Jun 2017 11:58:26 +0100
- In-reply-to: <90a4cf0afdce266e-0-artemis@nixos>
- References: <90a4cf0afdce266e-0-artemis@nixos>
Added LaTeX, switched article to use their template, build passing.
Note: had to disable some stuff in supporting-materials, but it was
broken anyway.