From 2334480c9a2057f63ba647664e014183a61b1154 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Tue, 24 May 2022 19:00:01 +0200 Subject: [PATCH] fix table again --- pages/docs/sorting-parsing.md | 62 +++++++++++++++++------------------ 1 file changed, 31 insertions(+), 31 deletions(-) diff --git a/pages/docs/sorting-parsing.md b/pages/docs/sorting-parsing.md index 2d1e0da..8af980a 100644 --- a/pages/docs/sorting-parsing.md +++ b/pages/docs/sorting-parsing.md @@ -2,34 +2,34 @@ | Action | World | Motion Grammar | |--------------------------|--------------------------------------------------------------------------------|----------------------------------------------------------------------| -| |  | | -| ObjectAtWrongPlace |  |  | -| RobotIsFree |  |  | -| RobotIsReallyReadyToPick |  |  | -| PickUpObject |  |  | -| Pick |  |  | -| PickUpObject |  |  | -| RightPlace |  |  | -| Drop |  |  | -| DropObjectAtRightPlace |  |  | -| MoveObjectToCorrectPlace |  |  | -| ObjectAtWrongPlace |  |  | -| RobotIsBusy |  |  | -| Wait |  |  | -| RobotIsFree |  |  | -| RobotIsReallyReadyToPick |  |  | -| PickUpObject |  |  | -| RobotIsNotReadyToPick |  |  | -| PickUpObject |  |  | -| Pick |  |  | -| PickUpObject |  |  | -| RightPlace |  |  | -| Drop |  |  | -| DropObjectAtRightPlace |  |  | -| MoveObjectToCorrectPlace |  |  | -| NotEmptyTable |  |  | -| Wait |  |  | -| WaitForEmptyTable |  |  | -| EmptyTable |  |  | -| Tidy |  |  | -| |  |  | +| |  | | | +| ObjectAtWrongPlace |  |  | +| RobotIsFree |  |  | +| RobotIsReallyReadyToPick |  |  | +| PickUpObject |  |  | +| Pick |  |  | +| PickUpObject |  |  | +| RightPlace |  |  | +| Drop |  |  | +| DropObjectAtRightPlace |  |  | +| MoveObjectToCorrectPlace |  |  | +| ObjectAtWrongPlace |  |  | +| RobotIsBusy |  |  | +| Wait |  |  | +| RobotIsFree |  |  | +| RobotIsReallyReadyToPick |  |  | +| PickUpObject |  |  | +| RobotIsNotReadyToPick |  |  | +| PickUpObject |  |  | +| Pick |  |  | +| PickUpObject |  |  | +| RightPlace |  |  | +| Drop |  |  | +| DropObjectAtRightPlace |  |  | +| MoveObjectToCorrectPlace |  |  | +| NotEmptyTable |  |  | +| Wait |  |  | +| WaitForEmptyTable |  |  | +| EmptyTable |  |  | +| Tidy |  |  | +| |  |  | -- GitLab