Small stuff

Author: rocky

admin-tools/make-dist.sh

@@ -20,11 +20,11 @@ source mathics_django/version.py
 echo $__version__
 
 cp -v ${HOME}/.local/var/Mathics3/doc_html_data.pcl mathics_django/doc/
-pyversion=3.13
+pyversion=3.14
 if ! pyenv local $pyversion ; then
     exit $?
 fi
 rm -fr build
 python -m build --wheel
-python ./setup.py sdist
+python -m build --sdist
 finish

mathics_django/web/format.py

@@ -2,6 +2,8 @@
 Format Mathics3 objects
 """
 
+from typing import Dict, Final
+
 from mathics.core.atoms import String
 from mathics.core.systemsymbols import (
     SymbolAborted,
@@ -17,7 +19,7 @@
 # text is the usual text-kind of output.
 # LaTeX is handled by MathJaX display mode $$ $$
 # MathML could be tagged differently too.
-FORM_TO_HTML_TAG_FORMAT = {
+FORM_TO_HTML_TAG_FORMAT: Final[Dict[str, str]] = {
     "System`FullForm": "text",
     "System`InputForm": "text",
     # "System`MathMLForm": "MathML",