Index of /org/overturetool/ide/plugins/org.overture.ide.plugins.features

Name Last Modified Size Description
Parent Directory
2.3.8 Thu Jan 08 02:51:30 Z 2026 1270
2.4.0 Thu Jan 08 02:51:30 Z 2026 1270
2.4.2 Thu Jan 08 02:51:29 Z 2026 1270
2.4.4 Thu Jan 08 02:51:29 Z 2026 1270
2.4.6 Thu Jan 08 02:51:30 Z 2026 1270
2.4.8 Thu Jan 08 02:51:30 Z 2026 1270
2.5.0 Thu Jan 08 02:51:30 Z 2026 1270
2.5.2 Thu Jan 08 02:51:29 Z 2026 1270
2.5.4 Thu Jan 08 02:51:28 Z 2026 1270
2.5.6 Thu Jan 08 02:51:26 Z 2026 1270
2.6.0 Thu Jan 08 02:51:28 Z 2026 1270
2.6.2 Thu Jan 08 02:51:26 Z 2026 1270
2.6.4 Thu Jan 08 02:51:26 Z 2026 1270
2.7.0 Thu Jan 08 02:51:27 Z 2026 1270
2.7.2 Thu Jan 08 02:51:25 Z 2026 1270
2.7.4 Thu Jan 08 02:51:25 Z 2026 1270
3.0.0 Thu Jan 08 02:51:25 Z 2026 1270
3.0.2 Thu Jan 08 02:51:26 Z 2026 1270