Difference between revisions of "User:Mathieu/Notes"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: == vim regex == to replace an ASCII/symbol row to the equivalent wiki notation <pre><nowiki> :s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|...) |
imported>Mathieu m (→TODO: Initiate a teaching page) |
||
(5 intermediate revisions by the same user not shown) | |||
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== | ||
+ | * 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...) |
Latest revision as of 10:26, 23 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
- 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...)