[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Justify table

Subject: Re: Justify table
From: Chris Warburton
Date: Mon, 15 Jan 2018 16:31:50 +0000
In-reply-to: <f0bb2a6f6b46d43d-0-artemis@nixos>
References: <f0bb2a6f6b46d43d-0-artemis@nixos>

Added justifications.

References:
- Justify table
  - From: Chris Warburton

Prev by Date: Re: Talking about Isabelle
Next by Date: Re: Add Speculate to table
Previous by thread: Justify table
Next by thread: Add LaTeX checking to check.sh
Index(es):
- Date
- Thread