Home / Browse / RODIN / Mail / Archive

RODIN

Email Archive: rodin-b-sharp-commit (read-only)

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14531] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-10 16:44

Revision: 14531
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14531&view=rev
Author:   nicolas_beauger
Date:     2012-04-10 16:44:33 +0000 (Tue, 10 Apr 2012)
Log Message:
-----------
removed SMT feature because it has a serious bug and because it cannot be installed (bad feature id).

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

Thread View

Thread	Author	Date
[Rodin-commit] SF.net SVN: rodin-b-sharp:[14417] trunk/RodinUpdateSite/org.rodinp. updateSite	Commits from the Subversion repository <rodin-b-sharp-commit@li...>

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14482] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-04 15:20

Revision: 14482
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14482&view=rev
Author:   thomasmuller
Date:     2012-04-04 15:20:44 +0000 (Wed, 04 Apr 2012)
Log Message:
-----------
Published the artifacts and content jars of the site after B2Latex 0.5.2.

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14485] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-04 16:01

Revision: 14485
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14485&view=rev
Author:   nicolas_beauger
Date:     2012-04-04 16:01:35 +0000 (Wed, 04 Apr 2012)
Log Message:
-----------
fixed p2 jars, back to before b2latex modifications

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14487] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-04 16:06

Revision: 14487
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14487&view=rev
Author:   thomasmuller
Date:     2012-04-04 16:06:35 +0000 (Wed, 04 Apr 2012)
Log Message:
-----------
Published the artifacts and content jars of the site after B2Latex 0.5.2.

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14489] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-04 16:34

Revision: 14489
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14489&view=rev
Author:   thomasmuller
Date:     2012-04-04 16:34:04 +0000 (Wed, 04 Apr 2012)
Log Message:
-----------
Published valid qualifiers for B2Latex 0.5.2.

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14509] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-05 09:47

Revision: 14509
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14509&view=rev
Author:   nicolas_beauger
Date:     2012-04-05 09:47:08 +0000 (Thu, 05 Apr 2012)
Log Message:
-----------
added scripts to publish a feature built outside.

Added Paths:
-----------
    trunk/RodinUpdateSite/org.rodinp.updateSite/publishFeature.xml
    trunk/RodinUpdateSite/org.rodinp.updateSite/publishFeature.xml.launch

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14531] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-10 16:44

Revision: 14531
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14531&view=rev
Author:   nicolas_beauger
Date:     2012-04-10 16:44:33 +0000 (Tue, 10 Apr 2012)
Log Message:
-----------
removed SMT feature because it has a serious bug and because it cannot be installed (bad feature id).

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14538] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-12 15:54

Revision: 14538
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14538&view=rev
Author:   cfsnook
Date:     2012-04-12 15:54:13 +0000 (Thu, 12 Apr 2012)
Log Message:
-----------
EMF Framework V3.6.0
EMF Framework Support for Extensions V1.1.0
EMF Framework Support for Diagrams V1.1.1

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14569] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-16 16:54

Revision: 14569
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14569&view=rev
Author:   thomasmuller
Date:     2012-04-16 16:54:24 +0000 (Mon, 16 Apr 2012)
Log Message:
-----------
Published B2Latex 0.5.3.

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14585] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-20 13:45

Revision: 14585
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14585&view=rev
Author:   maamria
Date:     2012-04-20 13:45:39 +0000 (Fri, 20 Apr 2012)
Log Message:
-----------
Theory v1.3.2 added

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14649] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-30 07:41

Revision: 14649
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14649&view=rev
Author:   cfsnook
Date:     2012-04-30 07:41:15 +0000 (Mon, 30 Apr 2012)
Log Message:
-----------
Event-B EMF framework V3.7.0
Event-B EMF framework Extensions V1.2.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14654] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-30 08:03

Revision: 14654
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14654&view=rev
Author:   cfsnook
Date:     2012-04-30 08:03:11 +0000 (Mon, 30 Apr 2012)
Log Message:
-----------
Event-B EMF framework V3.7.0 (correction to build)

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14655] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-04-30 08:15

Revision: 14655
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14655&view=rev
Author:   cfsnook
Date:     2012-04-30 08:15:41 +0000 (Mon, 30 Apr 2012)
Log Message:
-----------
Event-B EMF framework V3.7.0 (correction to build) 2nd try

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14667] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-05-02 09:53

Revision: 14667
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14667&view=rev
Author:   cfsnook
Date:     2012-05-02 09:53:36 +0000 (Wed, 02 May 2012)
Log Message:
-----------
EMF diagrams support 1.1.2

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14691] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-05-11 15:04

Revision: 14691
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14691&view=rev
Author:   tshoang
Date:     2012-05-11 15:04:11 +0000 (Fri, 11 May 2012)
Log Message:
-----------
Updated Generic Instantiation Plug-in to 0.2.2

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14756] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-05-28 14:52

Revision: 14756
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14756&view=rev
Author:   cfsnook
Date:     2012-05-28 14:51:51 +0000 (Mon, 28 May 2012)
Log Message:
-----------
Statemachines 1.1.0
Statemachine animation 1.1.0
Event-B EMF Extensions 1.2.1
Event-B EMF Diagrams 2.0.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14781] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-05-30 08:44

Revision: 14781
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14781&view=rev
Author:   aedmunds
Date:     2012-05-30 08:44:19 +0000 (Wed, 30 May 2012)
Log Message:
-----------
Updated Code Generation Feature to 0.2.3

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14817] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-06-01 16:28

Revision: 14817
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14817&view=rev
Author:   renato_silva
Date:     2012-06-01 16:28:23 +0000 (Fri, 01 Jun 2012)
Log Message:
-----------
updated composition plug-in

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14824] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-06-03 08:10

Revision: 14824
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14824&view=rev
Author:   cfsnook
Date:     2012-06-03 08:10:41 +0000 (Sun, 03 Jun 2012)
Log Message:
-----------
Event-B EMF support for extensions V1.3.0
Event-B EMF support for diagrams V2.1.0
Event-B Statemachines V1.2.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14843] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-06-07 12:38

Revision: 14843
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14843&view=rev
Author:   renato_silva
Date:     2012-06-07 12:38:32 +0000 (Thu, 07 Jun 2012)
Log Message:
-----------
update codegen after fixing bug of having several init variables in composed machines

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14869] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-06-22 16:15

Revision: 14869
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14869&view=rev
Author:   renato_silva
Date:     2012-06-22 16:14:59 +0000 (Fri, 22 Jun 2012)
Log Message:
-----------
update refactory plug-in to 1.2.2

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14870] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-06-22 16:27

Revision: 14870
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14870&view=rev
Author:   renato_silva
Date:     2012-06-22 16:27:24 +0000 (Fri, 22 Jun 2012)
Log Message:
-----------
update composition plug-in to 1.5.1

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[14871] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-06-22 16:43

Revision: 14871
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=14871&view=rev
Author:   renato_silva
Date:     2012-06-22 16:43:13 +0000 (Fri, 22 Jun 2012)
Log Message:
-----------
update decomposition plug-in to 1.2.3

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15080] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-08-16 11:48

Revision: 15080
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=15080&view=rev
Author:   renato_silva
Date:     2012-08-16 11:48:21 +0000 (Thu, 16 Aug 2012)
Log Message:
-----------
composition (1.6.0) and decomposition (1.2.4) releases for Rodin 2.6

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15081] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-08-21 14:07

Revision: 15081
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=15081&view=rev
Author:   asiehsalehi
Date:     2012-08-21 14:07:00 +0000 (Tue, 21 Aug 2012)
Log Message:
-----------
AD (Atomicity Decomposition) added

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15331] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-12-11 14:33

Revision: 15331
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=15331&view=rev
Author:   asiehsalehi
Date:     2012-12-11 14:33:17 +0000 (Tue, 11 Dec 2012)
Log Message:
-----------
Decomposition Update

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15333] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-12-11 15:05

Revision: 15333
          http://rodin-b-sharp.svn.sourceforge.net/rodin-b-sharp/?rev=15333&view=rev
Author:   asiehsalehi
Date:     2012-12-11 15:05:33 +0000 (Tue, 11 Dec 2012)
Log Message:
-----------
decomposition plug-in update 1.2.5

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15331] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-12-11 17:14

Revision: 15331
          http://sourceforge.net/p/rodin-b-sharp/svn/15331
Author:   lvoisin
Date:     2012-12-11 17:14:15 +0000 (Tue, 11 Dec 2012)
Log Message:
-----------
Decomposition Update

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15346] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-12-14 15:12

Revision: 15346
          http://sourceforge.net/p/rodin-b-sharp/svn/15346
Author:   asiehsalehi
Date:     2012-12-14 15:12:17 +0000 (Fri, 14 Dec 2012)
Log Message:
-----------
Generic Instantiation Plugin (Southampton)

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15366] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2012-12-18 17:11

Revision: 15366
          http://sourceforge.net/p/rodin-b-sharp/svn/15366
Author:   cfsnook
Date:     2012-12-18 17:11:47 +0000 (Tue, 18 Dec 2012)
Log Message:
-----------
UML-B 2.2.1 - fix handles leak

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15427] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-01-09 17:03

Revision: 15427
          http://sourceforge.net/p/rodin-b-sharp/svn/15427
Author:   asiehsalehi
Date:     2013-01-09 17:03:29 +0000 (Wed, 09 Jan 2013)
Log Message:
-----------
Generic Instantiation (Soton) feature update

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15453] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-01-16 18:50

Revision: 15453
          http://sourceforge.net/p/rodin-b-sharp/svn/15453
Author:   cfsnook
Date:     2013-01-16 18:50:34 +0000 (Wed, 16 Jan 2013)
Log Message:
-----------
iUMLB State-Machines v1.3.0
iUMLB State-Machines Animation v1.2.0
Event-B EMF Support for Modelling Extensions v2.0.0
Event-B GMF Support for Diagrams v3.0.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15468] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-01-19 16:41

Revision: 15468
          http://sourceforge.net/p/rodin-b-sharp/svn/15468
Author:   cfsnook
Date:     2013-01-19 16:41:44 +0000 (Sat, 19 Jan 2013)
Log Message:
-----------
diagrams framework 3.1.0
iUML-B statemachines 1.3.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15487] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-02-15 14:54

Revision: 15487
          http://sourceforge.net/p/rodin-b-sharp/svn/15487
Author:   asiehsalehi
Date:     2013-02-15 14:54:34 +0000 (Fri, 15 Feb 2013)
Log Message:
-----------
Decomposition 1.2.6

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15494] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-02-27 23:17

Revision: 15494
          http://sourceforge.net/p/rodin-b-sharp/svn/15494
Author:   tshoang
Date:     2013-02-27 23:17:35 +0000 (Wed, 27 Feb 2013)
Log Message:
-----------
Remove Generic Instantiation Feature (ETHZ) from the update site

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15512] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-03-05 16:35

Revision: 15512
          http://sourceforge.net/p/rodin-b-sharp/svn/15512
Author:   asiehsalehi
Date:     2013-03-05 16:35:33 +0000 (Tue, 05 Mar 2013)
Log Message:
-----------


Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15528] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-03-15 21:31

Revision: 15528
          http://sourceforge.net/p/rodin-b-sharp/svn/15528
Author:   cfsnook
Date:     2013-03-15 21:31:33 +0000 (Fri, 15 Mar 2013)
Log Message:
-----------
Event-B EMF Framework V3.7.1

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15531] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-03-16 11:03

Revision: 15531
          http://sourceforge.net/p/rodin-b-sharp/svn/15531
Author:   cfsnook
Date:     2013-03-16 11:03:23 +0000 (Sat, 16 Mar 2013)
Log Message:
-----------
iUML-B Statemachines 1.4.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15641] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-05-15 15:47

Revision: 15641
          http://sourceforge.net/p/rodin-b-sharp/svn/15641
Author:   cfsnook
Date:     2013-05-15 15:47:18 +0000 (Wed, 15 May 2013)
Log Message:
-----------
Update site:
Event-B emf release 3.7.2
Event-B emf extensions release 2.1.0
Event-B emf diagrams release 3.2.0
iUML-B statemachines release 1.5.0

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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

[Rodin-commit] SF.net SVN: rodin-b-sharp:[15681] trunk/RodinUpdateSite/org.rodinp. updateSite

From: Commits from the Subversion repository <rodin-b-sharp-commit@li...> - 2013-06-03 10:55

Revision: 15681
          http://sourceforge.net/p/rodin-b-sharp/svn/15681
Author:   nicolas_beauger
Date:     2013-06-03 10:55:19 +0000 (Mon, 03 Jun 2013)
Log Message:
-----------
Published SMT feature.

Modified Paths:
--------------
    trunk/RodinUpdateSite/org.rodinp.updateSite/artifacts.jar
    trunk/RodinUpdateSite/org.rodinp.updateSite/content.jar

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