From 169c5ae8e96434d746a55b330bc1ef36abd555e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 15 Aug 2016 15:26:34 +0200 Subject: [PATCH] Fixed typo. --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index beba9b2..6634ae4 100644 --- a/README.md +++ b/README.md @@ -50,13 +50,13 @@ $ plasp [files] [options] `plasp` automatically detects the language of the input program. -See [command-line interface](doc/command-line-interface.md) for more detail. +See [command-line interface](doc/command-line-interface.md) for more details. ## Output Format `plasp` provides a uniform output format for SAS and PDDL input problems. -See [output format](doc/output-format.md) for more detail. +See [output format](doc/output-format.md) for more details. If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started. @@ -64,7 +64,7 @@ If you want to write your own meta encoding for `plasp`’s output, this [simple `plasp` requires `boost` and is built via CMake and a C++ compiler. -See [building instructions](doc/building-instructions.md) for more detail. +See [building instructions](doc/building-instructions.md) for more details. ## Contributors