search

slatex / RusTeX

A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
24 stars 0 forks source link

User reported ERROR kwarc/slides/projectplan.en.xhtml #15

Open abchugh opened 1 year ago

abchugh commented 1 year ago

A content ERROR was logged by "Philipp Hofmann" at the following url:

https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=hckrrx.j5vi07%7E6d09529a

The issue as described by the user:

Left and right bar are either scaled wrong or moved too high

The text highlighted while reporting this issue:

Overview: KWARC Research and Projects

                          Applications:
eMath 3.0, Active Documents, Active Learning, Semantic Spreadsheets/CAD/CAM, Change Mangagement, Global Digital Math Library, Math Search Systems,

                                        SMGloM
                                      : Semantic Multilingual Math Glossary, Serious Games, ...

                          Foundations of Math:

                            ▷
                                        MathML
                                      ,

                                        OpenMath

                            ▷advanced Type Theories

                            ▷Mmt: Meta Meta Theory

                            ▷Logic Morphisms/Atlas

                            ▷Theorem Prover/CAS Interoperability

                            ▷Mathematical Models/Simulation

                          KM & Interaction:

                            ▷Semantic Interpretation (aka. Framing)

                            ▷math-literate interaction

                            ▷
                                        MathHub
                                      : math archives & active docs

                            ▷Active documents: embedded semantic services

                            ▷Model-based Education

                          Semantization:

                            ▷
                                        LATEXML
                                      :

                                          LATEX
                                        →
                                        XML

                            ▷
                                        STEX
                                      : Semantic

                                        LATEX

                            ▷invasive editors

                            ▷Context-Aware IDEs

                            ▷Mathematical Corpora

                            ▷Linguistics of Math

                            ▷ML for Math Semantics Extraction

                          Foundations: Computational Logic, Web Technologies,

                                      OMDoc
                                    /Mmt

            STEX :
42023-10-16

The selected text was in the following section hierarchy:

INNERMOST SECTION FIRST

  1. GitLab: https://gl.mathhub.info/MiKoMH/talks/-/blob/main/source/kwarc/slides/projectplan.en.tex
    FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/talks&filepath=kwarc/slides/projectplan.en.xhtml&bindings=0_3_9I2DoQZhe0G

  2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/kwarc-ai.en.tex
    FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/kwarc-ai.en.xhtml&bindings=0_2_2hfxFQbea

  3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/overview.en.tex
    FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/overview.en.xhtml&bindings=0_0_7i

  4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
    FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml

kohlhase commented 1 year ago

This is also a RusTeX issue, transferring to that.

Jazzpirate commented 1 year ago

again, already in the right repo. Please don't close open issues