Difference between revisions of "B2Latex"

From Event-B
Jump to: navigation, search
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.  
+
After installation, releases 0.3.x up to 0.5.0, 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.  
 
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''  
 
A latex source file will be generated in a folder named ''latex''  
in your Event-B project directory (i.e. ...\workspaceName\projectName\latex\*.tex) together with a style file named ''b2latex.sty''. bsymb.sty and b2latex.sty are required to process the latex. Run latex on the source files using your own latex installation.  
+
in your Event-B project directory (i.e. ...\workspaceName\projectName\latex\*.tex) together  
 +
with a style file named ''b2latex.sty''. bsymb.sty and b2latex.sty are required to process the latex.
 +
Run latex on the source files using your own latex installation.  
  
 
bsymb.sty can be dowloaded from http://www.event-b.org or http://sourceforge.net/projects/rodin-b-sharp/
 
bsymb.sty can be dowloaded from http://www.event-b.org or http://sourceforge.net/projects/rodin-b-sharp/
 +
 
== News? ==
 
== News? ==
 
B2Latex 0.5.1 is now avilable from the Rodin update site. This  
 
B2Latex 0.5.1 is now avilable from the Rodin update site. This  
 
release is for Rodin 0.9.2.x or later. The interface of the release  
 
release is for Rodin 0.9.2.x or later. The interface of the release  
 
has been moved to the Event-B project explorer. Users can select  
 
has been moved to the Event-B project explorer. Users can select  
(right click) a machine or a context to produce latex documents directly from
+
(right click and then select menu 'Generate Latex Document') a machine or a context to produce latex documents directly from
 
the project explorer. The latex docs are generated in the 'latex' folder
 
the project explorer. The latex docs are generated in the 'latex' folder
 
as same as other prvious releases.
 
as same as other prvious releases.

Revision as of 17:46, 29 November 2009

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

After installation, releases 0.3.x up to 0.5.0, 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 (i.e. ...\workspaceName\projectName\latex\*.tex) together with a style file named b2latex.sty. bsymb.sty and b2latex.sty are required to process the latex. Run latex on the source files using your own latex installation.

bsymb.sty can be dowloaded from http://www.event-b.org or http://sourceforge.net/projects/rodin-b-sharp/

News?

B2Latex 0.5.1 is now avilable from the Rodin update site. This release is for Rodin 0.9.2.x or later. The interface of the release has been moved to the Event-B project explorer. Users can select (right click and then select menu 'Generate Latex Document') a machine or a context to produce latex documents directly from the project explorer. The latex docs are generated in the 'latex' folder as same as other prvious releases.

New release, B2Latex 0.5.0, is now available from the Rodin update site. This release is for the Rodin 0.9.2.x or higher.

B2Latex 0.4.1 is required for the Rodin 0.9.1. If you want to use the Rodin 0.8.x, you need to install the release 0.3.0 instead.

Tips

- If you wish to have math formulas or B code in a comment, you need to put them in $..$.

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