| Mon, 08 Mar 2010 20:18:27 +0100 | Christian Urban | added a test-file for compatibility | file | diff | annotate |
| Mon, 08 Mar 2010 16:11:42 +0100 | Christian Urban | added compat definitions to some examples | file | diff | annotate |
| Mon, 08 Mar 2010 15:06:14 +0100 | Christian Urban | deleted comments about "weird" | file | diff | annotate |
| Mon, 08 Mar 2010 11:25:57 +0100 | Cezary Kaliszyk | With restricted_nominal=1, exp7 and exp8 work. Not sure about proving bn_rsp there. | file | diff | annotate |