Search results
From Event-B
Jump to navigationJump to searchCreate the page "TeX" on this wiki! See also the page found with your search.
- ...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