Menu ▾ ▴

#350 B2LaTeX: transform awhole project and choose destination

unplanned
closed-fixed
Tomas
B2LaTeX plugin (2)
5
2016-07-02
2016-02-09
Nicolas Beauger
No

Originating from JR Abrial.
The current version (0.5.5) only allows to transform a single Rodin File.
The destination is a subdirectory of the containing project, which by default is filtered from the Event-B Explorer.

Requests:

  • apply B2LaTeX to a whole project
  • choose the destination folder

Discussion

  • Nicolas Beauger

    Nicolas Beauger - 2016-02-09
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -3,5 +3,6 @@
 The destination is a subdirectory of the containing project, which by default is filtered from the Event-B Explorer.

 Requests:
+
 * apply B2LaTeX to a whole project
 * choose the destination folder
     

  • Tomas

    Tomas - 2016-06-30
    • status: open --> accepted
    • assigned_to: Nicolas Beauger --> Tomas
     

  • Tomas

    Tomas - 2016-07-02

    Implemented in plugin version 0.6.0.

    When exporting the whole project, the contexts and machines are sorted according to their extends / refines relation (using Event-B Explorer's Complex Context / Machine Structure - see also Feature Request #345). Generated files do not contain the date in the file name and also the style has been updated (context / machine title has been removed - moved into the page header).

    Destination folder is still predefined and cannot be changed. However, if this folder already contains the file b2latex.sty, it won't be overwritten in order not to lose any custom modifications.

     

  • Tomas

    Tomas - 2016-07-02
    • labels: --> B2LaTeX plugin
    • status: accepted --> closed-fixed
     

Log in to post a comment.