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

Re: Fix table entries for new systems

Subject: Re: Fix table entries for new systems
From: Chris Warburton
Date: Mon, 15 Jan 2018 16:40:22 +0000
In-reply-to: <f66554e225a5e731-0-artemis@nixos>
References: <f66554e225a5e731-0-artemis@nixos>

Added justification

References:
- Fix table entries for new systems
  - From: Chris Warburton

Prev by Date: Re: Copypasta error in "Automated Theory Formation" section
Next by Date: Add LaTeX checking to check.sh
Previous by thread: Fix table entries for new systems
Next by thread: Use the same syntax for e.g. Nat
Index(es):
- Date
- Thread