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

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

Revision: 16755
          http://sourceforge.net/p/rodin-b-sharp/svn/16755
Author:   gverdier
Date:     2024-11-07 16:30:53 +0000 (Thu, 07 Nov 2024)
Log Message:
-----------
Prepare release of AtelierB provers version 2.4.0

- Based on AtelierB 24.04
- Updated domain of update site (it's now at https://www.atelierb.eu)
- Added support for Apple Silicon
- Fixed Eclipse warnings (Java version, missing encodings)

Modified Paths:
--------------
    trunk/AtelierBProvers/README.txt
    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/.classpath
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core/.settings/org.eclipse.jdt.core.prefs
    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/ProverShell.java
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.linux/scripts/import-linux-files.sh
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.macosx/scripts/import-macos-files.sh
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/.classpath
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.tests/.settings/org.eclipse.jdt.core.prefs
    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.core.win32/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.core.win32/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.site/pom.xml
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/.classpath
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/.settings/org.eclipse.jdt.core.prefs
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/META-INF/MANIFEST.MF
    trunk/AtelierBProvers/com.clearsy.atelierb.provers.ui/pom.xml
    trunk/AtelierBProvers/pom.xml

Added Paths:
-----------
    trunk/AtelierBProvers/com.clearsy.atelierb.provers/.settings/org.eclipse.core.resources.prefs

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