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

[abchugh]

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]

This is also a RusTeX issue, transferring to that.

[Jazzpirate]

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