Menu ▾ ▴

Tree [r16777] / trunk /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 AD 2012-11-09 asiehsalehi [r15271]
 AnimB 2015-05-15 chrimetayer [r16617] change plugin versions before publication
 AtelierBProvers 2025-01-20 gverdier [r16756] Atelier B provers version 2.4.1
 B2Latex 2024-10-17 gverdier [r16753] Update build system and prepare 0.8 release
 Brama 2014-05-07 chrimetayer [r16343] changes for Rodin 3.0 strategy
 FeatureComposition 2010-10-18 aag07r [r10050] Updated for Rodin 2.0
 Generic_Instantiation 2025-02-27 gverdier [r16776] Prepare release 1.1.0 of Generic Instantiation ...
 Isabelle 2012-08-12 lyhlbyl [r15042] update EventB.thy to isabelle 2012
 ModelDecomposition 2017-07-04 cfsnook [r16690] Decomposition: 1.3.1.release
 Records 2016-07-31 tofische [r16673] Update rodin dependency
 Refactory 2025-02-27 gverdier [r16761] Prepare release 1.4.0 of Refactory plug-in
 ReqsManagement 2010-04-19 jastram [r8651] Adapted Requirements Plugin for Rodin 1.2
 RodinUpdateSite 2025-02-27 gverdier [r16777] Add update sites for new releases of Renaming a...
 SharedEventComposition 2017-07-05 cfsnook [r16694] shared-event composition: release 1.7.1
 Team 2015-07-28 cfsnook [r16626] Teamwork 1.2.0 - Updated for Rodin 3.2.x
 UML-B 2014-10-18 cfsnook [r16475] relax lower bound of dependencies to work with ...
 UML-B_Statemachine_Animation 2014-10-18 cfsnook [r16475] relax lower bound of dependencies to work with ...
 XProver 2009-03-13 lvoisin [r6900] Moved org.eventb.xprover modules to directory X...
 _exploratory 2015-03-06 lvoisin [r16591] Prune empty directories
 doc 2020-10-01 lvoisin [r16723] Add note about theory change
 misc 2006-03-27 lvoisin [r730] Bumped to version 0.12.
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.