Activity for Tomas
-
Tomas committed [r16674]
Update Records for Rodin 3.2
-
Update rodin dependency
-
Update for Rodin 3.2
-
Better latex export styling
-
B2Latex version 0.7.0 released. For upgrade of the b2latex.sty to new format simple...
-
Feature #353 - Better latex export styling
-
Feature #353 - Better latex export styling (Rel...
-
Feature #353 - Better latex export styling (Rel...
-
Feature #353 - Better latex export styling (corr)
-
Feature #353 - Better latex export styling
-
Better latex export styling
-
Better latex export styling
-
Corrected newline handling
-
Release version 0.6.1
-
Allow ^ in the comment, adapt latex formatting,...
-
B2LaTeX: transform awhole project and choose destination
-
Implemented in plugin version 0.6.0. When exporting the whole project, the contexts...
-
Feature request #350
-
Feature request #350
-
Removed date and time from the file name; refac...
-
B2LaTeX: transform awhole project and choose destination
-
Release B2Latex 0.5.6
-
Corrected feature.xml
-
Bug #760
-
Bug #760
-
Bug #760
-
Ordering components in the event-b explorer
-
This is already available in Rodin 3.2 (I'm not sure about the older releases): Event-B...
-
B2LaTeX and operator oftype
-
Bsymb2Tex is based on bsymb.sty version 1.7, update to current version 1.9. Corrected...
-
Bug #760
-
B2LaTeX and operator oftype
-
Bsymb2Tex is based on bsymb.sty version 1.7, update to current version 1.9.
-
B2LaTeX and operator oftype
-
Impossible to install ProR
-
You are correct, currently a parial surjection is generated (same as for 1..n → 0..1...
-
For the practical purposes it is important that the generated relation is not only...
-
Wrong relation for the 1..1 → 0..1 associations
-
In my case the Event-B code is generated from the iUML-B Classdiagrams and the partial...
-
Partial bijection
1