• Thumbs up

  Super project!

  posted by anonymous 24 days ago

  If you'd like to rate this review, please log in.
• Thumbs up

  A great project !!!

  posted by Nicolas Beauger 55 days ago

  If you'd like to rate this review, please log in.

View all reviews

• Tracker artifact added

  smn_ created the error when building new project with a context artifact

  posted by smn_ 1 days ago

• Code committed

  committed revision 7775 to the rodin-b-sharp SVN repository, changing 3 files

  posted by nicolas_beauger 2 days ago

• Tracker artifact added

  jastram created the Can\'t edit Refinement if var and event have the same name artifact

  posted by jastram 2 days ago

• Code committed

  committed revision 7774 to the rodin-b-sharp SVN repository, changing 3 files

  posted by nicolas_beauger 2 days ago

• Code committed

  committed revision 7773 to the rodin-b-sharp SVN repository, changing 1 files

  posted by nicolas_beauger 2 days ago

• File released: /Plugin_ Renaming_Refactory/0.0.4/ac.ddorf.refactory.0.0.4.zip

  posted 2 days ago

• File released: /Plugin_ Renaming_Refactory/0.0.4/ac.ddorf.refactory.eventb_0.0.4.jar

  posted 2 days ago

• File released: /Plugin_ Renaming_Refactory/0.0.4/ac.ddorf.refactory_feature_0.0.4.jar

  posted 2 days ago

• File released: /Plugin_ Renaming_Refactory/0.0.4/ac.ddorf.refactory.eventb_0.0.4.jar

  posted 2 days ago

• Code committed

  committed revision 7772 to the rodin-b-sharp SVN repository, changing 1 files

  posted by nicolas_beauger 3 days ago