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
Name Modified Size InfoDownloads / Week
Parent folder
0.1.1 2019-02-13
0
0.1.0 2019-01-08
0
readme.txt 2019-02-13 860 Bytes
0
Totals: 3 Items   860 Bytes 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