Search results

From Event-B
Jump to navigationJump to search

Create the page "TeX" on this wiki! See also the page found with your search.

  • B2Latex
    ...your Event-B project directory (i.e. ...\workspaceName\projectName\latex\*.tex) together with a style file named ''b2latex.sty''. bsymb.sty and b2latex.st (somewhere like C:\Program Files\MiKTeX 2.7\tex\latex),
    4 KB (718 words) - 17:22, 8 July 2016
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’