update release history

hhu-stups · Feb 10, 2025 · 6ecda3c · 6ecda3c
1 parent 805e550
commit 6ecda3c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/doc/prob2ui_release_history.md b/doc/prob2ui_release_history.md
@@ -6,10 +6,11 @@ Downloads of the current release and snapshot development builds can be found on
 
 * Added B type information for code completion (if available)
 * Customisable VisB HTML export and SVG export of the current VisB image
-* Added TLC model checking for classical B machines with TLC4B and export of generated TLA+ files
+* Added TLC model checking for classical B machines with TLC4B and export of generated TLA+ files (also limited support for Event-B and models with internal B representation)
 * Improved support for rule validations with rules machines (.rmch)
 * Added search to editor
-* Added language selection dropdown to interactive console
+* Added language selection dropdown to interactive console (e.g. evaluation of both classical B and TLA+ formulas in the context of a translated TLA+ module)
+* Improved export of (internal) classical B representation for Event-B and translated languages
 * Removed support for Java versions older than Java 21
 
 **Note:** The multi-platform jar might not work on all macOS processor architectures - consider using the platform-specific binaries, which are available for both x86_64 and arm64.