10 lines
321 B
Markdown
10 lines
321 B
Markdown
|
# Change Log
|
||
|
|
|
||
|
|
## (unreleased)
|
||
|
|
|
||
|
|
Features:
|
||
|
|
|
||
|
|
* initial support for translating rules in *Essential Gringo* (excluding aggregates) to first-order logic formulas
|
||
|
|
* command-line option `--color` to autodetect, enable, or disable color output
|
||
|
|
* command-line option `--log-level` to control which status messages should be shown
|