[Rodin-commit] SF.net SVN: rodin-b-sharp:[16756] trunk/AtelierBProve rs

[Commits f. t. S. r. <rod...@li...>]

Revision: 16756
          http://sourceforge.net/p/rodin-b-sharp/svn/16756
Author:   gverdier
Date:     2025-01-20 09:50:38 +0000 (Mon, 20 Jan 2025)
Log Message:
-----------
Atelier B provers version 2.4.1

This fixes a bug with some Chinese versions of Windows: the first
character of the output gets replaced by some Chinese characters,
preventing the plug-in from recognizing successful executions of the
provers.

Modified Paths:
--------------
    trunk/AtelierBProvers/com.clearsy.atelierb.provers/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers/about.properties
    trunk/AtelierBProvers/com.clearsy.atelierb.provers/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/feature.properties
    trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/feature.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers-feature/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/src/com/clearsy/atelierb/provers/internal/core/AtbProversCall.java
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.site/pom.xml

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.