GSoC 2020 Project for GNU TeXmacs

Task

Links

Quickstart

This page serves as a project tracker.

Download

cd $HOME
git clone git@github.com:texmacs/gsoc2020.git
cd gsoc2020

Update

  1. Update the files ended with .tm, and do not forget to generate the corresponding .html files using Tools -> Update web site… . Assuming you have downloaded the repo to $HOME/gsoc2020, please choose $HOME/gsoc2020 and click the Choose button.

  2. Create pull request to gsoc2020