Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Package]: mogan #14284

Closed
1 task done
Iey4iej3 opened this issue Jan 1, 2023 · 0 comments · Fixed by #14343
Closed
1 task done

[Package]: mogan #14284

Iey4iej3 opened this issue Jan 1, 2023 · 0 comments · Fixed by #14343
Labels
package request A new package was requested.

Comments

@Iey4iej3
Copy link

Iey4iej3 commented Jan 1, 2023

Why do you want to add this package to Termux?

A WYSIWYG editor for scientists. See the follow extract from this page

What is GNU TeXmacs and Mogan Editor?

GNU TeXmacs is a structured editor developed since the late 1990s by Joris van der Hoeven, a mathematician at CNRS in France. It is designed to write high-quality technical documents using an intuitive and easy-to-use graphical interface, and able to achieve the same level of results as LaTeX. Its main users are currently primary and secondary school teachers (mostly in France) and university researchers.

Darcy Shen released Mogan Editor v1.0.0 on January 30, 2022, based on Massimiliano Gubinelli's S7 Scheme port and created Xmacs Labs, a non-profit organization that aims to popularize GNU TeXmacs and make it available for everyone to enjoy exploring science and technology via the excellent software developed by Joris van der Hoeven.

Home page URL

https://mogan.app/

Source code URL

https://github.com/XmacsLabs/mogan

Packaging policy acknowledgement

Additional information

It is not difficult to compile, with a very simple build.sh, see

http://forum.texmacs.cn/t/compiling-mogan-under-android/1210

This request is still at early stage, so that Mogan maintainers could also benefit from feedbacks here to improve the Termux-compatibility.

@Iey4iej3 Iey4iej3 added the package request A new package was requested. label Jan 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
package request A new package was requested.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant