| Fri, 27 Nov 2009 18:38:09 +0100 | Cezary Kaliszyk | The magical code from Stefan, will need to be integrated in the Simproc. | changeset | files |
| Fri, 27 Nov 2009 13:59:52 +0100 | Christian Urban | replaced FIRST' (map rtac list) with resolve_tac list | changeset | files |