User:Mathieu/Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m →TODO |
imported>Mathieu mNo edit summary |
||
| Line 4: | Line 4: | ||
:s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g | :s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g | ||
</nowiki></pre> | </nowiki></pre> | ||
==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== | ==TODO== | ||
Revision as of 16:04, 22 January 2009
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
- Do a first version for Current Developments, for each known development, with the person in charge of it.
- Write down some feedbacks of industrial use of Rodin...
- Some logo design (refinement:cornue, rodin le penseur, Symmetrical R, math symbols...)
- Organize how platform and plugin documentation will be kept up to date (last stable version, new dev version,...)
