User:Mathieu/Notes

From Event-B
< User:Mathieu
Revision as of 10:26, 23 January 2009 by imported>Mathieu (→‎TODO: Initiate a teaching page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

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