User:Mathieu/Notes

From Event-B
< User:Mathieu
Revision as of 16:08, 18 September 2008 by imported>Mathieu (→‎TODO)
Jump to navigationJump to search

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...
Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Mathieu/Notes&oldid=10789’