Difference between revisions of "User:Mathieu/Notes"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Mathieu m (→TODO) |
||
| Line 7: | Line 7: | ||
==TODO== | ==TODO== | ||
* Do a first version for [[Current Developments]], for each known development, with the person in charge of it. | * 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... |
Revision as of 16:08, 18 September 2008
vim regex
to replace an ASCII/symbol row to the equivalent wiki notation
:s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g
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...
