@@ -9,7 +9,7 @@ MathHub.info is a comprehensive development and operations systems for flexiform
MathHub.info consists of three parts:
* a content management system: [GL.MathHub.info](https://gl.mathhub.info) that provides versioned content and project management facilities.
* a [build system](https://buildsystem.mathhub.info) that manages the compilation of sources
* a knowledge management server: the [MMT API](https://stexmmt.mathhub.info)
* a knowledge management server: the [MMT API](https://stexmmt.mathhub.info)that provides added value APIs to the knowledge and documents for applications.
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
...
...
@@ -17,9 +17,7 @@ Applications include the ALeA system (Adaptive Learning Assistant) that uses sem
The content on [GL.MathHub.info](https://gl.mathhub.info) is mostly in the [OMDoc/MMT](https://uniformal.github.io/doc/language/)(for fully formal content) and [sTeX](https://github.com/sLaTeX/sTeX)(a semantic extension of LaTeX) formats, but other source formats like semantically annotated Word/PPT (via WOIDE and CPoint) and Markdown also work as long as they can generate [SHTML](https://hackmd.io/@X5Y0GrH0RY-KPMg2uH7o5Q/ByvrtDbFn) -- the MathHub.info lingua franca.
The [GL.MathHub.info](https://gl.mathhub.info) is organized into [math archives](https://uniformal.github.io/doc/archives/), collections of source files and generated representations with a [specified directory structure](https://uniformal.github.io/doc/archives/). On [GL.MathHub.info](https://gl.mathhub.info) math archives directly correspond to GIT repositories. This gives us authentication and user management.
The repositories are organized via [GitLab groups](https://docs.gitlab.com/ee/user/group/) for structure and authorization.
The [GL.MathHub.info](https://gl.mathhub.info) is organized into [math archives](https://uniformal.github.io/doc/archives/), collections of source files and generated representations with a [specified directory structure](https://uniformal.github.io/doc/archives/). On [GL.MathHub.info](https://gl.mathhub.info) math archives directly correspond to GIT repositories. This gives us authentication and user management. The repositories are organized via [GitLab groups](https://docs.gitlab.com/ee/user/group/) for structure and authorization. This organization also gives us direct access to the [DevOps features of the GitLab platform](https://about.gitlab.com/solutions/devops-platform/)
