From 5ec4dd2aaffb983520f3f1077951b88fe51b50ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 14 Oct 2017 01:46:48 +0200 Subject: [PATCH] Added new commands to the change log. --- CHANGELOG.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 6cb7ddd..26499b6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,8 +4,11 @@ Changes: -* introduces new command-line interface based on `plasp` subcommands -* adds `plasp translate` command as a replacement for former plain `plasp` calls +* introduces new command-line interface based on `plasp` subcommands: + * `plasp translate`: translate PDDL and SAS to ASP (replaces former, plain `plasp` calls) + * `plasp normalize`: normalize PDDL to plasp’s custom PDDL format + * `plasp check-syntax`: check the syntax of PDDL specifications + * `plasp beautify`: cleanly format PDDL specifications Features: