From f5d342a4420bceab308290f47deedd32b3e3f537 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 16:33:11 +0200 Subject: [PATCH] Minor formatting. --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 7c0729d..e8fbcf7 100644 --- a/README.md +++ b/README.md @@ -49,20 +49,20 @@ $ plasp [files] [options] ``` `plasp` automatically detects the language of the input program. -See the [documentation of `plasp`’s command-line interface](doc/command-line-interface.md) for more detail. +See [command-line interface](doc/command-line-interface.md) for more detail. ## Output Format `plasp` provides a uniform output format for SAS and PDDL input problems. -See the [documentation of the output format](doc/output-format.md) for more detail. +See [output format](doc/output-format.md) for more detail. -If you want to write your own meta encoding for `plasp`’s output, the [simple example encoding](encodings/sequential-incremental.lp) gets you started. +If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started. ## Building `plasp` requires `boost` and is built via CMake and a C++ compiler. -See the [building instructions](doc/building-instructions.md) for more detail. +See [building instructions](doc/building-instructions.md) for more detail. ## Contributors