Differences

This shows you the differences between two versions of the page.

--- documentation:templates:header [2019/08/13 10:39] – benmuell
+++ documentation:templates:header [2023/11/06 11:14] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 Available versions of this document:
 [[documentation:latest:@@FILE@@|latest release]],
-[[documentation:release:3.5:@@FILE@@|release 3.5]], [[documentation:master:@@FILE@@|nightly master]]
+[[documentation:release:4.11:@@FILE@@|release 4.11]],
+[[documentation:release:4.10:@@FILE@@|release 4.10]],
+[[documentation:release:4.9:@@FILE@@|release 4.9]],
+[[documentation:release:4.8:@@FILE@@|release 4.8]],
+[[documentation:release:4.7:@@FILE@@|release 4.7]],
+[[documentation:release:4.6:@@FILE@@|release 4.6]],
+[[documentation:release:4.5:@@FILE@@|release 4.5]],
+[[documentation:release:4.4:@@FILE@@|release 4.4]],
+[[documentation:release:4.3:@@FILE@@|release 4.3]],
+[[documentation:release:4.2:@@FILE@@|release 4.2]],
+[[documentation:release:4.1:@@FILE@@|release 4.1]],
+[[documentation:release:4.0:@@FILE@@|release 4.0]],
+[[documentation:release:3.6:@@FILE@@|release 3.6]],
+[[documentation:release:3.5:@@FILE@@|release 3.5]],
+[[documentation:master:@@FILE@@|nightly master]]
-Reference documentation for older polymake versions: [[https://polymake.org/release_docs/3.4|release 3.4]], [[https://polymake.org/release_docs/3.3|release 3.3]], [[https://polymake.org/release_docs/3.2|release 3.2]]
+Reference documentation for older polymake versions:
+[[https://polymake.org/release_docs/3.4|release 3.4]],
+[[https://polymake.org/release_docs/3.3|release 3.3]],
+[[https://polymake.org/release_docs/3.2|release 3.2]]
 @@CONTENT@@