Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

Get an email when there's a new version of RODIN

Home / Plugin_CODA / CODA UI / 0.1.0
Name Modified Size InfoDownloads / Week
Parent folder
ac.soton.coda.ui.branding.source_0.0.2.release.jar 2019-01-08 3.2 kB
0
ac.soton.coda.ui.source_0.1.0.release.jar 2019-01-08 1.9 kB
0
ac.soton.coda.ui.branding_0.0.2.release.jar 2019-01-08 3.9 kB
0
ac.soton.coda.ui.sdk_0.1.0.release.jar 2019-01-08 5.0 kB
0
ac.soton.coda.ui.source.feature_0.1.0.release.jar 2019-01-08 2.2 kB
0
ac.soton.coda.ui_0.1.0.release.jar 2019-01-08 3.4 kB
0
ac.soton.coda.ui.feature_0.1.0.release.jar 2019-01-08 5.3 kB
0
Totals: 7 Items   25.0 kB 0 
CODA UI Feature
===============
This feature provides basic user interface, e.g., view category, 
export category, etc., for CODA.

Release history:
-------------------------------------------------------------------
### 0.1.1 ###
  - fix install licence message
### 0.1.0. Update copyright statements ###
- CODA UI (0.1.0): 
	- change menu label to "CODA Simulation"
	- Update copyright statements
	- upgrade execution environment to Java 1.8 
- CODA UI Branding (0.0.2): 
	-Update copyright statements
### 0.0.4 ###
- CODA UI Branding (0.0.1): Initial version
### 0.0.3 ###
- Package the CODA UI plugin using this feature.
### 0.0.2 ###
- CODA UI (0.0.2) Added export category CODA
### 0.0.1 ###
- CODA UI (0.0.1)
  + Added view category CODA.
  + Added command category CODA.
  + Added Simulation pop-up in the context menu of the Event-B project explorer.
Source: readme.txt, updated 2019-02-13