User:Mathieu/Notes

vim regex

to replace an ASCII/symbol row to the equivalent wiki notation

:s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g

Where to look for PrettyPrint

HTMLPage  pour afficher  dedans il y a un AstConverter  le AstConverter prend un composant et renvoie le html de la page sous forme de string
je te préviens, c'est brute

TODO

• Write down some feedbacks of industrial use of Rodin...
• Initiate a teaching page
• Some logo design (refinement:cornue, rodin le penseur, Symmetrical R, math symbols...)