* Adding some new projects reorganize the lists in main.tm regenerate website Reorganize lists in main.tm (#52) * reorganize the lists in main.tm * regenerate website Tips for dealing with git Update readme A few suggestions for git in a separate md file * Update website * Typo * Refine introduction to new git help section * Still refine introduction text for git conflict resolution * Post: See TeXmacs output and error on Windows * Update main.tm, regenerate website --------- Co-authored-by: Massimiliano Gubinelli <m.gubinelli@gmail.com>
d4b44b2