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

Publish standalone commands

Subject: Publish standalone commands
From: Chris Warburton
Date: Tue, 31 Oct 2017 22:01:22 +0000
Resolution: fixed
State: resolved

They're in a usable state. Make them known.

Follow-Ups:
- Re: Publish standalone commands
  - From: Chris Warburton

Prev by Date: Add examples to README
Next by Date: Re: Replace tests/example.smt2 with tests/test-theory.smt2
Previous by thread: Re: Add examples to README
Next by thread: Re: Publish standalone commands
Index(es):
- Date
- Thread