duplicate rule or observable label should be detected as an error

siddharthb / Kide

Kide- The Kappa IDE for Eclipse

GNU Lesser General Public License v3.0

1 stars 0 forks source link

Open jkrivine opened 13 years ago

jkrivine commented 13 years ago

It will be detected by KaSim anyway...

siddharthb commented 13 years ago

This has been added to version 1.02_260711