Difference between revisions of "B2Latex"

From Event-B
Jump to navigationJump to search
imported>Kriangsak
imported>Kriangsak
Line 1: Line 1:
 
Install/upgrade the B2latex plugin from the Main Rodin site using the software updates menu in Rodin.
 
Install/upgrade the B2latex plugin from the Main Rodin site using the software updates menu in Rodin.
  
After installation, you will see an LX button on the menu bar in the Event-B perspective. Select the Machine or Context you want to translate to Latex and then press the L button. A latex source file will be generated in a folder named Latex in your Event-B project directory.
+
After installation, you will see an LX button on the menu bar in the Event-B perspective. Select the Machine or Context you want to translate to Latex and then press the LX button. A latex source file will be generated in a folder named ''latex'' in your Event-B project directory.
 
bsymb.sty is required to process the latex.  Run latex on the source files using your own latex installation.
 
bsymb.sty is required to process the latex.  Run latex on the source files using your own latex installation.
  
The file b2latex.sty in the generated Latex directory can be modified to change the style of the documentation.
+
The file ''b2latex.sty'' in the generated ''latex'' directory can be modified to change the style of the documentation.
  
 
[[Category:User documentation]]
 
[[Category:User documentation]]
 
[[Category:Plugin]]
 
[[Category:Plugin]]

Revision as of 22:02, 5 March 2009

Install/upgrade the B2latex plugin from the Main Rodin site using the software updates menu in Rodin.

After installation, you will see an LX button on the menu bar in the Event-B perspective. Select the Machine or Context you want to translate to Latex and then press the LX button. A latex source file will be generated in a folder named latex in your Event-B project directory. bsymb.sty is required to process the latex. Run latex on the source files using your own latex installation.

The file b2latex.sty in the generated latex directory can be modified to change the style of the documentation.