User:Mathieu/Notes

From Event-B
< User:Mathieu
Revision as of 08:03, 25 September 2008 by imported>Mathieu (→‎TODO)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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