Hi All,
Sorry for my long silence since I was preparing graduation things.
I have updated my GSOC 2020 proposal for some changes of my idea. To summarize, I would like to complete two major tasks as follows:
The first one is to transplant markdown converter into TeXmacs. Markdown is a popular language, and there are some contributors developed a "TeXmacs-to-markdown" converter (https://bitbucket.org/mdbenito/tm2md/src/master/). I planned to firstly transplant this to our code and add a new exporting option for users. The second task is to fix bugs. I planned to choose a TeXmacs file as a test sample, and to find bugs by comparing differences between conversion results and source file. I will try my best to fix bugs to reduce text loss during converting.
Also, I planned to sort out a developing framework for converter, which can help contributors develop their converters for TeXmacs.
Best Regards,
Xiang
Proposal for GSoC 2020 - Improved TeXmacs Converters .pdf