Skip to content

eventB-Soton/CODA_Utils

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

66 Commits
 
 
 
 
 
 
 
 

Repository files navigation

This repository contains utilities projects for CODA platform. They are not required at runtime.

  1. ac.soton.coda.branding contains the source for the CODA icon. This icon should be use for all CODA branding plug-ins so that they share the same icon in the "About Rodin Platform".
  2. ac.soton.coda.doc contains the source of the documentation. This is use to generate the CODA user manual and also Help Contents for various features.
  3. ac.soton.coda.licence contains the shared CODA licence plug-in. All CODA features should use this for as the shared licence. This requires when building the CODA features.

Releases

No releases published

Packages

No packages published