|
From: Commits f. t. S. r. <rod...@li...> - 2025-01-20 09:50:40
|
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.
|