| ... |
... |
@@ -91,36 +91,12 @@ |
| 91 |
91 |
|
| 92 |
92 |
Removed plugins: |
| 93 |
93 |
|
| 94 |
|
-* de.cau.cs.kieler.synccharts.s |
|
94 |
+* de.cau.cs.kieler.syncchart.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 |
|
- |
| 118 |
118 |
|
| 119 |
119 |
|
| 120 |
|
- |
| 121 |
|
- |
| 122 |
|
- |
| 123 |
|
- |
| 124 |
124 |
---- |
| 125 |
125 |
|
| 126 |
126 |
|