| Wed, 14 Apr 2010 14:41:54 +0200 | Christian Urban | added a library for basic nominal functions; separated nominal_eqvt file | changeset | files |
| Wed, 14 Apr 2010 13:21:38 +0200 | Christian Urban | merged | changeset | files |
| Wed, 14 Apr 2010 13:21:11 +0200 | Christian Urban | first working version of the automatic equivariance procedure | changeset | files |
| Wed, 14 Apr 2010 10:39:03 +0200 | Cezary Kaliszyk | Initial cleaning/reorganization in Fv. | changeset | files |
| Wed, 14 Apr 2010 10:29:56 +0200 | Christian Urban | merged | changeset | files |
| Wed, 14 Apr 2010 10:29:34 +0200 | Christian Urban | preliminary tests | changeset | files |
| Wed, 14 Apr 2010 10:28:17 +0200 | Christian Urban | deleted test | changeset | files |
| Wed, 14 Apr 2010 08:42:38 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 14 Apr 2010 08:36:54 +0200 | Cezary Kaliszyk | merge part: delete_rsp | changeset | files |
| Wed, 14 Apr 2010 08:35:31 +0200 | Cezary Kaliszyk | merge part1: none_memb_nil | changeset | files |
| Wed, 14 Apr 2010 08:16:54 +0200 | Christian Urban | added header and more tuning | changeset | files |
| Wed, 14 Apr 2010 07:57:55 +0200 | Christian Urban | more tuning | changeset | files |