|
From: villate <vi...@us...> - 2025-09-18 13:41:10
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Maxima CAS Website".
The branch, master has been updated
via e24b236fb9194cfa2b20bb4ee55d5104ce39ccf4 (commit)
from 9c008b428daf9ca218999b840e2933268dceb77a (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit e24b236fb9194cfa2b20bb4ee55d5104ce39ccf4
Author: villate <vi...@fe...>
Date: Thu Sep 18 14:40:21 2025 +0100
Removes malicious polyfill Javascript.
diff --git a/docs/manual/de/maxima.html b/docs/manual/de/maxima.html
index a11bcea..d9d9adf 100644
--- a/docs/manual/de/maxima.html
+++ b/docs/manual/de/maxima.html
@@ -63,7 +63,6 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
</head>
diff --git a/docs/manual/de/maxima_1.html b/docs/manual/de/maxima_1.html
index bfc8d84..775528e 100644
--- a/docs/manual/de/maxima_1.html
+++ b/docs/manual/de/maxima_1.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_10.html b/docs/manual/de/maxima_10.html
index 52bd63e..c5d92b1 100644
--- a/docs/manual/de/maxima_10.html
+++ b/docs/manual/de/maxima_10.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_100.html b/docs/manual/de/maxima_100.html
index a497d51..00270a4 100644
--- a/docs/manual/de/maxima_100.html
+++ b/docs/manual/de/maxima_100.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_101.html b/docs/manual/de/maxima_101.html
index 5870e17..4d663cf 100644
--- a/docs/manual/de/maxima_101.html
+++ b/docs/manual/de/maxima_101.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_102.html b/docs/manual/de/maxima_102.html
index ef7454a..973b4ba 100644
--- a/docs/manual/de/maxima_102.html
+++ b/docs/manual/de/maxima_102.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_103.html b/docs/manual/de/maxima_103.html
index 58aff51..471d395 100644
--- a/docs/manual/de/maxima_103.html
+++ b/docs/manual/de/maxima_103.html
@@ -62,7 +62,6 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_104.html b/docs/manual/de/maxima_104.html
index 1c0d273..13d1471 100644
--- a/docs/manual/de/maxima_104.html
+++ b/docs/manual/de/maxima_104.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_105.html b/docs/manual/de/maxima_105.html
index 9c8ec0d..98b5713 100644
--- a/docs/manual/de/maxima_105.html
+++ b/docs/manual/de/maxima_105.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_106.html b/docs/manual/de/maxima_106.html
index fff668d..76fd944 100644
--- a/docs/manual/de/maxima_106.html
+++ b/docs/manual/de/maxima_106.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_107.html b/docs/manual/de/maxima_107.html
index ee36a4c..aa3ef0c 100644
--- a/docs/manual/de/maxima_107.html
+++ b/docs/manual/de/maxima_107.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_108.html b/docs/manual/de/maxima_108.html
index 36a90ad..f76996f 100644
--- a/docs/manual/de/maxima_108.html
+++ b/docs/manual/de/maxima_108.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_109.html b/docs/manual/de/maxima_109.html
index 93bffc9..e189b17 100644
--- a/docs/manual/de/maxima_109.html
+++ b/docs/manual/de/maxima_109.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_11.html b/docs/manual/de/maxima_11.html
index 87c12e7..4c8a686 100644
--- a/docs/manual/de/maxima_11.html
+++ b/docs/manual/de/maxima_11.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_110.html b/docs/manual/de/maxima_110.html
index a81b5ff..41fb2be 100644
--- a/docs/manual/de/maxima_110.html
+++ b/docs/manual/de/maxima_110.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_111.html b/docs/manual/de/maxima_111.html
index ba1267b..63ded53 100644
--- a/docs/manual/de/maxima_111.html
+++ b/docs/manual/de/maxima_111.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_112.html b/docs/manual/de/maxima_112.html
index 09b9b02..be1cdcc 100644
--- a/docs/manual/de/maxima_112.html
+++ b/docs/manual/de/maxima_112.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_113.html b/docs/manual/de/maxima_113.html
index bbedada..edeb08f 100644
--- a/docs/manual/de/maxima_113.html
+++ b/docs/manual/de/maxima_113.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_114.html b/docs/manual/de/maxima_114.html
index e47ec26..1ded055 100644
--- a/docs/manual/de/maxima_114.html
+++ b/docs/manual/de/maxima_114.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_115.html b/docs/manual/de/maxima_115.html
index d9bc94b..e59ddbd 100644
--- a/docs/manual/de/maxima_115.html
+++ b/docs/manual/de/maxima_115.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_116.html b/docs/manual/de/maxima_116.html
index 8c1b137..4b12d16 100644
--- a/docs/manual/de/maxima_116.html
+++ b/docs/manual/de/maxima_116.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_117.html b/docs/manual/de/maxima_117.html
index 9155351..e9f6e11 100644
--- a/docs/manual/de/maxima_117.html
+++ b/docs/manual/de/maxima_117.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_118.html b/docs/manual/de/maxima_118.html
index 53d7e1a..78b004e 100644
--- a/docs/manual/de/maxima_118.html
+++ b/docs/manual/de/maxima_118.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_119.html b/docs/manual/de/maxima_119.html
index c591927..3dfb016 100644
--- a/docs/manual/de/maxima_119.html
+++ b/docs/manual/de/maxima_119.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_12.html b/docs/manual/de/maxima_12.html
index 08fa1bf..0d61c54 100644
--- a/docs/manual/de/maxima_12.html
+++ b/docs/manual/de/maxima_12.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_120.html b/docs/manual/de/maxima_120.html
index aba5d9a..75d7a51 100644
--- a/docs/manual/de/maxima_120.html
+++ b/docs/manual/de/maxima_120.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_121.html b/docs/manual/de/maxima_121.html
index 13fd86e..4d14f1d 100644
--- a/docs/manual/de/maxima_121.html
+++ b/docs/manual/de/maxima_121.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_122.html b/docs/manual/de/maxima_122.html
index dd5cff9..132b438 100644
--- a/docs/manual/de/maxima_122.html
+++ b/docs/manual/de/maxima_122.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_123.html b/docs/manual/de/maxima_123.html
index a828f78..964a34b 100644
--- a/docs/manual/de/maxima_123.html
+++ b/docs/manual/de/maxima_123.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_124.html b/docs/manual/de/maxima_124.html
index bb073f6..24fd89c 100644
--- a/docs/manual/de/maxima_124.html
+++ b/docs/manual/de/maxima_124.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_125.html b/docs/manual/de/maxima_125.html
index c05dd22..ba5cb9d 100644
--- a/docs/manual/de/maxima_125.html
+++ b/docs/manual/de/maxima_125.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_126.html b/docs/manual/de/maxima_126.html
index 0cc013f..a5b805f 100644
--- a/docs/manual/de/maxima_126.html
+++ b/docs/manual/de/maxima_126.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_127.html b/docs/manual/de/maxima_127.html
index 25be046..71b80c2 100644
--- a/docs/manual/de/maxima_127.html
+++ b/docs/manual/de/maxima_127.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_128.html b/docs/manual/de/maxima_128.html
index 9298bee..d98cd60 100644
--- a/docs/manual/de/maxima_128.html
+++ b/docs/manual/de/maxima_128.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_129.html b/docs/manual/de/maxima_129.html
index 87c46bb..0d6c8d8 100644
--- a/docs/manual/de/maxima_129.html
+++ b/docs/manual/de/maxima_129.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_13.html b/docs/manual/de/maxima_13.html
index e7a39e6..2d16d91 100644
--- a/docs/manual/de/maxima_13.html
+++ b/docs/manual/de/maxima_13.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_130.html b/docs/manual/de/maxima_130.html
index 2c8184e..9a6b539 100644
--- a/docs/manual/de/maxima_130.html
+++ b/docs/manual/de/maxima_130.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_131.html b/docs/manual/de/maxima_131.html
index 69b237f..a0bd97d 100644
--- a/docs/manual/de/maxima_131.html
+++ b/docs/manual/de/maxima_131.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_132.html b/docs/manual/de/maxima_132.html
index a2305dc..66a1c41 100644
--- a/docs/manual/de/maxima_132.html
+++ b/docs/manual/de/maxima_132.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_133.html b/docs/manual/de/maxima_133.html
index 0bb0f29..42bfbf7 100644
--- a/docs/manual/de/maxima_133.html
+++ b/docs/manual/de/maxima_133.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_134.html b/docs/manual/de/maxima_134.html
index 39f8f88..ef9e029 100644
--- a/docs/manual/de/maxima_134.html
+++ b/docs/manual/de/maxima_134.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_135.html b/docs/manual/de/maxima_135.html
index d571596..292f47e 100644
--- a/docs/manual/de/maxima_135.html
+++ b/docs/manual/de/maxima_135.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_136.html b/docs/manual/de/maxima_136.html
index 46fa9e4..a6c40c6 100644
--- a/docs/manual/de/maxima_136.html
+++ b/docs/manual/de/maxima_136.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_137.html b/docs/manual/de/maxima_137.html
index 5465f36..7c2de24 100644
--- a/docs/manual/de/maxima_137.html
+++ b/docs/manual/de/maxima_137.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_138.html b/docs/manual/de/maxima_138.html
index fd58b43..c29d6be 100644
--- a/docs/manual/de/maxima_138.html
+++ b/docs/manual/de/maxima_138.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_139.html b/docs/manual/de/maxima_139.html
index a683ef4..0a17dcc 100644
--- a/docs/manual/de/maxima_139.html
+++ b/docs/manual/de/maxima_139.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_14.html b/docs/manual/de/maxima_14.html
index dd574da..385c431 100644
--- a/docs/manual/de/maxima_14.html
+++ b/docs/manual/de/maxima_14.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_140.html b/docs/manual/de/maxima_140.html
index 7943989..572aa3e 100644
--- a/docs/manual/de/maxima_140.html
+++ b/docs/manual/de/maxima_140.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_141.html b/docs/manual/de/maxima_141.html
index f819a8c..024150b 100644
--- a/docs/manual/de/maxima_141.html
+++ b/docs/manual/de/maxima_141.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_142.html b/docs/manual/de/maxima_142.html
index 25f7413..bc4b528 100644
--- a/docs/manual/de/maxima_142.html
+++ b/docs/manual/de/maxima_142.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_143.html b/docs/manual/de/maxima_143.html
index 34ca403..b6281b3 100644
--- a/docs/manual/de/maxima_143.html
+++ b/docs/manual/de/maxima_143.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_144.html b/docs/manual/de/maxima_144.html
index 7afea91..2770b3e 100644
--- a/docs/manual/de/maxima_144.html
+++ b/docs/manual/de/maxima_144.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_145.html b/docs/manual/de/maxima_145.html
index b269366..0df506b 100644
--- a/docs/manual/de/maxima_145.html
+++ b/docs/manual/de/maxima_145.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_146.html b/docs/manual/de/maxima_146.html
index f4632bb..1246cd3 100644
--- a/docs/manual/de/maxima_146.html
+++ b/docs/manual/de/maxima_146.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_147.html b/docs/manual/de/maxima_147.html
index 235f7ef..4b3436c 100644
--- a/docs/manual/de/maxima_147.html
+++ b/docs/manual/de/maxima_147.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_148.html b/docs/manual/de/maxima_148.html
index 18d548f..922386e 100644
--- a/docs/manual/de/maxima_148.html
+++ b/docs/manual/de/maxima_148.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_149.html b/docs/manual/de/maxima_149.html
index 643614d..ea9d2cf 100644
--- a/docs/manual/de/maxima_149.html
+++ b/docs/manual/de/maxima_149.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_15.html b/docs/manual/de/maxima_15.html
index 20f0cfa..60dff9f 100644
--- a/docs/manual/de/maxima_15.html
+++ b/docs/manual/de/maxima_15.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_150.html b/docs/manual/de/maxima_150.html
index 6387bd7..818d42a 100644
--- a/docs/manual/de/maxima_150.html
+++ b/docs/manual/de/maxima_150.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_151.html b/docs/manual/de/maxima_151.html
index 332279c..e04e6f9 100644
--- a/docs/manual/de/maxima_151.html
+++ b/docs/manual/de/maxima_151.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_152.html b/docs/manual/de/maxima_152.html
index 7240ef2..0d22d22 100644
--- a/docs/manual/de/maxima_152.html
+++ b/docs/manual/de/maxima_152.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_153.html b/docs/manual/de/maxima_153.html
index 3168727..fd34085 100644
--- a/docs/manual/de/maxima_153.html
+++ b/docs/manual/de/maxima_153.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_154.html b/docs/manual/de/maxima_154.html
index d3f4881..8b81c32 100644
--- a/docs/manual/de/maxima_154.html
+++ b/docs/manual/de/maxima_154.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_155.html b/docs/manual/de/maxima_155.html
index ac75e9e..a3c4824 100644
--- a/docs/manual/de/maxima_155.html
+++ b/docs/manual/de/maxima_155.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_156.html b/docs/manual/de/maxima_156.html
index ef62bc3..4b589e0 100644
--- a/docs/manual/de/maxima_156.html
+++ b/docs/manual/de/maxima_156.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_157.html b/docs/manual/de/maxima_157.html
index c0a1f37..38f19a9 100644
--- a/docs/manual/de/maxima_157.html
+++ b/docs/manual/de/maxima_157.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_158.html b/docs/manual/de/maxima_158.html
index 20d8592..6d7342b 100644
--- a/docs/manual/de/maxima_158.html
+++ b/docs/manual/de/maxima_158.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_159.html b/docs/manual/de/maxima_159.html
index 5dbc013..f60aac9 100644
--- a/docs/manual/de/maxima_159.html
+++ b/docs/manual/de/maxima_159.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_16.html b/docs/manual/de/maxima_16.html
index 762ed06..f131376 100644
--- a/docs/manual/de/maxima_16.html
+++ b/docs/manual/de/maxima_16.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_160.html b/docs/manual/de/maxima_160.html
index 00a14ac..d370917 100644
--- a/docs/manual/de/maxima_160.html
+++ b/docs/manual/de/maxima_160.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_161.html b/docs/manual/de/maxima_161.html
index ad46546..27b88e5 100644
--- a/docs/manual/de/maxima_161.html
+++ b/docs/manual/de/maxima_161.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_162.html b/docs/manual/de/maxima_162.html
index ac35110..e3b23d1 100644
--- a/docs/manual/de/maxima_162.html
+++ b/docs/manual/de/maxima_162.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_163.html b/docs/manual/de/maxima_163.html
index 518ae9a..60e4e46 100644
--- a/docs/manual/de/maxima_163.html
+++ b/docs/manual/de/maxima_163.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_164.html b/docs/manual/de/maxima_164.html
index 4313136..e38fb36 100644
--- a/docs/manual/de/maxima_164.html
+++ b/docs/manual/de/maxima_164.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_165.html b/docs/manual/de/maxima_165.html
index 838482d..8299137 100644
--- a/docs/manual/de/maxima_165.html
+++ b/docs/manual/de/maxima_165.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_166.html b/docs/manual/de/maxima_166.html
index bfbb973..94e985c 100644
--- a/docs/manual/de/maxima_166.html
+++ b/docs/manual/de/maxima_166.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_167.html b/docs/manual/de/maxima_167.html
index ecdbf3e..d273a50 100644
--- a/docs/manual/de/maxima_167.html
+++ b/docs/manual/de/maxima_167.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_168.html b/docs/manual/de/maxima_168.html
index c7705e8..00a22e2 100644
--- a/docs/manual/de/maxima_168.html
+++ b/docs/manual/de/maxima_168.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_169.html b/docs/manual/de/maxima_169.html
index 7c550be..486bd6b 100644
--- a/docs/manual/de/maxima_169.html
+++ b/docs/manual/de/maxima_169.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_17.html b/docs/manual/de/maxima_17.html
index e4bcc77..15eafb0 100644
--- a/docs/manual/de/maxima_17.html
+++ b/docs/manual/de/maxima_17.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_170.html b/docs/manual/de/maxima_170.html
index 4b7ffc1..9550199 100644
--- a/docs/manual/de/maxima_170.html
+++ b/docs/manual/de/maxima_170.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_171.html b/docs/manual/de/maxima_171.html
index 6d7dea0..ff8a1ae 100644
--- a/docs/manual/de/maxima_171.html
+++ b/docs/manual/de/maxima_171.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_172.html b/docs/manual/de/maxima_172.html
index 302d53b..ee355db 100644
--- a/docs/manual/de/maxima_172.html
+++ b/docs/manual/de/maxima_172.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_173.html b/docs/manual/de/maxima_173.html
index 64ffeb7..20ece29 100644
--- a/docs/manual/de/maxima_173.html
+++ b/docs/manual/de/maxima_173.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_174.html b/docs/manual/de/maxima_174.html
index 59fa561..f6ae24d 100644
--- a/docs/manual/de/maxima_174.html
+++ b/docs/manual/de/maxima_174.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_175.html b/docs/manual/de/maxima_175.html
index 6a1aa1c..9ca504d 100644
--- a/docs/manual/de/maxima_175.html
+++ b/docs/manual/de/maxima_175.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_176.html b/docs/manual/de/maxima_176.html
index 4c686d4..f927e4a 100644
--- a/docs/manual/de/maxima_176.html
+++ b/docs/manual/de/maxima_176.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_177.html b/docs/manual/de/maxima_177.html
index dbf8c7e..06a691a 100644
--- a/docs/manual/de/maxima_177.html
+++ b/docs/manual/de/maxima_177.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_178.html b/docs/manual/de/maxima_178.html
index 27404ab..198c79f 100644
--- a/docs/manual/de/maxima_178.html
+++ b/docs/manual/de/maxima_178.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_179.html b/docs/manual/de/maxima_179.html
index cb01660..402a3d4 100644
--- a/docs/manual/de/maxima_179.html
+++ b/docs/manual/de/maxima_179.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_18.html b/docs/manual/de/maxima_18.html
index 2f24884..02606ed 100644
--- a/docs/manual/de/maxima_18.html
+++ b/docs/manual/de/maxima_18.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_180.html b/docs/manual/de/maxima_180.html
index 1a9741c..a731b25 100644
--- a/docs/manual/de/maxima_180.html
+++ b/docs/manual/de/maxima_180.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_181.html b/docs/manual/de/maxima_181.html
index 937b048..17c8d4b 100644
--- a/docs/manual/de/maxima_181.html
+++ b/docs/manual/de/maxima_181.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_182.html b/docs/manual/de/maxima_182.html
index b64aea7..323ad76 100644
--- a/docs/manual/de/maxima_182.html
+++ b/docs/manual/de/maxima_182.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_183.html b/docs/manual/de/maxima_183.html
index ee3425a..cddb83d 100644
--- a/docs/manual/de/maxima_183.html
+++ b/docs/manual/de/maxima_183.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_184.html b/docs/manual/de/maxima_184.html
index f4a121d..a5bdca9 100644
--- a/docs/manual/de/maxima_184.html
+++ b/docs/manual/de/maxima_184.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_185.html b/docs/manual/de/maxima_185.html
index 0815d44..4f70ab0 100644
--- a/docs/manual/de/maxima_185.html
+++ b/docs/manual/de/maxima_185.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_186.html b/docs/manual/de/maxima_186.html
index d168505..ea74a89 100644
--- a/docs/manual/de/maxima_186.html
+++ b/docs/manual/de/maxima_186.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_187.html b/docs/manual/de/maxima_187.html
index f29f313..7466990 100644
--- a/docs/manual/de/maxima_187.html
+++ b/docs/manual/de/maxima_187.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_188.html b/docs/manual/de/maxima_188.html
index 86708f7..5f44f72 100644
--- a/docs/manual/de/maxima_188.html
+++ b/docs/manual/de/maxima_188.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_189.html b/docs/manual/de/maxima_189.html
index 2e71f0b..832c46a 100644
--- a/docs/manual/de/maxima_189.html
+++ b/docs/manual/de/maxima_189.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_19.html b/docs/manual/de/maxima_19.html
index ac2a592..04eee0c 100644
--- a/docs/manual/de/maxima_19.html
+++ b/docs/manual/de/maxima_19.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_190.html b/docs/manual/de/maxima_190.html
index e220a67..7c4cbeb 100644
--- a/docs/manual/de/maxima_190.html
+++ b/docs/manual/de/maxima_190.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_191.html b/docs/manual/de/maxima_191.html
index 7f169fd..3e977f4 100644
--- a/docs/manual/de/maxima_191.html
+++ b/docs/manual/de/maxima_191.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_192.html b/docs/manual/de/maxima_192.html
index 409abae..8187447 100644
--- a/docs/manual/de/maxima_192.html
+++ b/docs/manual/de/maxima_192.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_193.html b/docs/manual/de/maxima_193.html
index ab13537..9a47364 100644
--- a/docs/manual/de/maxima_193.html
+++ b/docs/manual/de/maxima_193.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_194.html b/docs/manual/de/maxima_194.html
index 2b42ef0..8225d5d 100644
--- a/docs/manual/de/maxima_194.html
+++ b/docs/manual/de/maxima_194.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_195.html b/docs/manual/de/maxima_195.html
index 2f45a19..64af7ad 100644
--- a/docs/manual/de/maxima_195.html
+++ b/docs/manual/de/maxima_195.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_196.html b/docs/manual/de/maxima_196.html
index e52d35e..0981fc6 100644
--- a/docs/manual/de/maxima_196.html
+++ b/docs/manual/de/maxima_196.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_197.html b/docs/manual/de/maxima_197.html
index 81b8b4c..8630df0 100644
--- a/docs/manual/de/maxima_197.html
+++ b/docs/manual/de/maxima_197.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_198.html b/docs/manual/de/maxima_198.html
index 8cc69f6..7e78325 100644
--- a/docs/manual/de/maxima_198.html
+++ b/docs/manual/de/maxima_198.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_199.html b/docs/manual/de/maxima_199.html
index 9584db9..74eeb95 100644
--- a/docs/manual/de/maxima_199.html
+++ b/docs/manual/de/maxima_199.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_2.html b/docs/manual/de/maxima_2.html
index da935df..4be0fea 100644
--- a/docs/manual/de/maxima_2.html
+++ b/docs/manual/de/maxima_2.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_20.html b/docs/manual/de/maxima_20.html
index e7e706a..ffe771a 100644
--- a/docs/manual/de/maxima_20.html
+++ b/docs/manual/de/maxima_20.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_200.html b/docs/manual/de/maxima_200.html
index 0c08f1b..06422ea 100644
--- a/docs/manual/de/maxima_200.html
+++ b/docs/manual/de/maxima_200.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_201.html b/docs/manual/de/maxima_201.html
index 164a8e6..18a649f 100644
--- a/docs/manual/de/maxima_201.html
+++ b/docs/manual/de/maxima_201.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_202.html b/docs/manual/de/maxima_202.html
index 26877fb..fa63747 100644
--- a/docs/manual/de/maxima_202.html
+++ b/docs/manual/de/maxima_202.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_203.html b/docs/manual/de/maxima_203.html
index 292f8c7..0d004ed 100644
--- a/docs/manual/de/maxima_203.html
+++ b/docs/manual/de/maxima_203.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_204.html b/docs/manual/de/maxima_204.html
index dde6968..c00fdc5 100644
--- a/docs/manual/de/maxima_204.html
+++ b/docs/manual/de/maxima_204.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_205.html b/docs/manual/de/maxima_205.html
index a01f32e..f741378 100644
--- a/docs/manual/de/maxima_205.html
+++ b/docs/manual/de/maxima_205.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_206.html b/docs/manual/de/maxima_206.html
index da38622..112662b 100644
--- a/docs/manual/de/maxima_206.html
+++ b/docs/manual/de/maxima_206.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_207.html b/docs/manual/de/maxima_207.html
index a7102a5..f8f51d6 100644
--- a/docs/manual/de/maxima_207.html
+++ b/docs/manual/de/maxima_207.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_208.html b/docs/manual/de/maxima_208.html
index ae3e6a5..53d0793 100644
--- a/docs/manual/de/maxima_208.html
+++ b/docs/manual/de/maxima_208.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_209.html b/docs/manual/de/maxima_209.html
index 9221fad..88fb5f7 100644
--- a/docs/manual/de/maxima_209.html
+++ b/docs/manual/de/maxima_209.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_21.html b/docs/manual/de/maxima_21.html
index fb3bda7..b90aaea 100644
--- a/docs/manual/de/maxima_21.html
+++ b/docs/manual/de/maxima_21.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_210.html b/docs/manual/de/maxima_210.html
index 787aa7a..aa40cd8 100644
--- a/docs/manual/de/maxima_210.html
+++ b/docs/manual/de/maxima_210.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_211.html b/docs/manual/de/maxima_211.html
index 3e90760..4850ca4 100644
--- a/docs/manual/de/maxima_211.html
+++ b/docs/manual/de/maxima_211.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_212.html b/docs/manual/de/maxima_212.html
index 7c2b8d8..3520cfc 100644
--- a/docs/manual/de/maxima_212.html
+++ b/docs/manual/de/maxima_212.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_213.html b/docs/manual/de/maxima_213.html
index 3f40406..d489941 100644
--- a/docs/manual/de/maxima_213.html
+++ b/docs/manual/de/maxima_213.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_214.html b/docs/manual/de/maxima_214.html
index a42c104..ece5e11 100644
--- a/docs/manual/de/maxima_214.html
+++ b/docs/manual/de/maxima_214.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_215.html b/docs/manual/de/maxima_215.html
index e09e0de..3fa13e4 100644
--- a/docs/manual/de/maxima_215.html
+++ b/docs/manual/de/maxima_215.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_216.html b/docs/manual/de/maxima_216.html
index 67801d0..0bb56b1 100644
--- a/docs/manual/de/maxima_216.html
+++ b/docs/manual/de/maxima_216.html
@@ -62,7 +62,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_217.html b/docs/manual/de/maxima_217.html
index 1fe3fd0..f00271a 100644
--- a/docs/manual/de/maxima_217.html
+++ b/docs/manual/de/maxima_217.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_218.html b/docs/manual/de/maxima_218.html
index 9e43f6a..a7662ff 100644
--- a/docs/manual/de/maxima_218.html
+++ b/docs/manual/de/maxima_218.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_219.html b/docs/manual/de/maxima_219.html
index df31fd3..57b9693 100644
--- a/docs/manual/de/maxima_219.html
+++ b/docs/manual/de/maxima_219.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<script type='text/javascript'>
MathJax = {
options: {
diff --git a/docs/manual/de/maxima_22.html b/docs/manual/de/maxima_22.html
index 0900abe..9bef771 100644
--- a/docs/manual/de/maxima_22.html
+++ b/docs/manual/de/maxima_22.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
</head>
diff --git a/docs/manual/de/maxima_220.html b/docs/manual/de/maxima_220.html
index b0d2a8a..d88391e 100644
--- a/docs/manual/de/maxima_220.html
+++ b/docs/manual/de/maxima_220.html
@@ -63,7 +63,7 @@ img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-r
</style>
<link rel="icon" href="figures/favicon.ico">
-<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
+
<...
[truncated message content] |