| ... |
... |
@@ -91,12 +91,36 @@ |
| 91 |
91 |
|
| 92 |
92 |
Removed plugins: |
| 93 |
93 |
|
| 94 |
|
-* de.cau.cs.kieler.syncchart.s |
|
94 |
+* de.cau.cs.kieler.synccharts.s |
| 95 |
95 |
* de.cau.cs.kieler.s.codegen |
| 96 |
96 |
* de.cau.cs.kieler.s.sj |
| 97 |
97 |
|
|
98 |
+Removed on May 30rd, 2012 - GIT revision 34b297102df61100832aa138946564dcc88ed5b0 |
|
99 |
+ |
|
100 |
+Removed plugins: |
|
101 |
+ |
|
102 |
+* de.cau.cs.kieler.sj.test |
|
103 |
+ |
|
104 |
+Removed on June 4th, 2012 - GIT revision f6041fb932a9fa79fa8359d5571e25c851e94f03 |
|
105 |
+ |
|
106 |
+Removed plugins: |
|
107 |
+ |
|
108 |
+* de.cau.cs.kieler.sim.validator |
|
109 |
+ |
|
110 |
+Removed on June 23th, 2012 - GIT revision 677226b3a92df09e320a36cfb14702b90a464778 |
|
111 |
+ |
|
112 |
+Removed plugins: |
|
113 |
+ |
|
114 |
+* de.cau.cs.kieler.sim.trace |
|
115 |
+* de.cau.cs.kieler.sim.kiem.automated |
|
116 |
+* de.cau.cs.kieler.sim.kiem.automated.ui |
|
117 |
+ |
| 98 |
98 |
|
| 99 |
99 |
|
|
120 |
+ |
|
121 |
+ |
|
122 |
+ |
|
123 |
+ |
| 100 |
100 |
---- |
| 101 |
101 |
|
| 102 |
102 |
|