| Thu, 31 May 2012 12:01:13 +0100 | Christian Urban | merged | file | diff | annotate |
| Thu, 31 May 2012 11:59:56 +0100 | Christian Urban | added let-eqvt back | file | diff | annotate |
| Thu, 31 May 2012 12:44:37 +0200 | Cezary Kaliszyk | Propagare changes from Nominal2_Base to _Exec | file | diff | annotate |
| Fri, 25 May 2012 15:46:48 +0100 | Christian Urban | fixed bug in simproc (also in the exec-version) | file | diff | annotate |