From f5154ea5a16a6e89f1b8fdf81b7296661103134c Mon Sep 17 00:00:00 2001 From: stertooy <5571903+stertooy@users.noreply.github.com> Date: Fri, 17 Oct 2025 23:35:42 +0200 Subject: [PATCH 1/2] Fix manual --- doc/input.xml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/doc/input.xml b/doc/input.xml index 51a5197..0debe55 100644 --- a/doc/input.xml +++ b/doc/input.xml @@ -25,11 +25,11 @@ - - - - - + + + + + PolymakeObject @@ -70,7 +70,7 @@ - + PolymakeObject @@ -283,7 +283,7 @@ rec( - + nothing Deletes all known properties of the PolymakeObject From 80551149dd101567971288df0048dd334c3b010e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 3 Dec 2025 15:08:55 +0000 Subject: [PATCH 2/2] nicer --- doc/input.xml | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/doc/input.xml b/doc/input.xml index 0debe55..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