Menu
▾
▴
Tree [0812ef] master / ch.ethz.eventb.pattern / History
| File | Date | Author | Commit |
|---|---|---|---|
| .settings | 2015-02-21 |
Thai Son Hoang
|
[601dfd] Various fixed for Eclipse 4.3.x |
| META-INF | 2015-03-01 |
Thai Son Hoang
|
[76c616] Compatibility with Rodin 3.x |
| icons | 2009-05-18 |
Andreas Fuerst
|
[b7cbcb] |
| src | 2015-03-01 |
Thai Son Hoang
|
[76c616] Compatibility with Rodin 3.x |
| .classpath | 2010-07-30 |
Thai Son Hoang
|
[e4b946] - Fix build.properties using quick fixes. |
| .gitignore | 2015-03-12 |
Thái Sơn Hoàng
|
[0812ef] Ignore files |
| .options | 2009-05-18 |
Andreas Fuerst
|
[b422f1] |
| .project | 2009-05-18 |
Andreas Fuerst
|
[4e911c] project renaming |
| build.properties | 2015-02-21 |
Thai Son Hoang
|
[601dfd] Various fixed for Eclipse 4.3.x |
| plugin.properties | 2009-07-28 |
Andreas Fuerst
|
[2e85ff] some minor changes in PatternUtils |
| plugin.xml | 2015-03-01 |
Thai Son Hoang
|
[76c616] Compatibility with Rodin 3.x |
