Differences

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

--- documentation:templates:header [2019/05/23 13:43] – external edit 127.0.0.1
+++ documentation:templates:header [2026/09/17 12:17] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-Available versions of this document: [[documentation:master:@@FILE@@|nightly master]]
+Available versions of this document:
+[[documentation:latest:@@FILE@@|latest release]],
+[[documentation:release:4.15:@@FILE@@|release 4.15]],
+[[documentation:release:4.14:@@FILE@@|release 4.14]],
+[[documentation:release:4.13:@@FILE@@|release 4.13]],
+[[documentation:release:4.12:@@FILE@@|release 4.12]],
+[[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@@