Difference between revisions of "User:Mathieu/Notes"

From Event-B
Jump to navigationJump to search
imported>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
Line 4: Line 4:
 
:s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g
 
:s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g
 
</nowiki></pre>
 
</nowiki></pre>
 +
 +
==TODO==
 +
* Do a first version for [[Current Developments]], for each known development, with the person in charge of it.
 +
*

Revision as of 15:58, 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.