diff --git a/doc/input.xml b/doc/input.xml index 51a5197..5f1871c 100644 --- a/doc/input.xml +++ b/doc/input.xml @@ -24,12 +24,7 @@ - - - - - - + PolymakeObject @@ -69,8 +64,7 @@ - - + PolymakeObject @@ -282,8 +276,7 @@ rec( - - + nothing Deletes all known properties of the PolymakeObject