Thu, 16 Dec 2010 09:28:19 +0100 | haftmann | more uniform naming | changeset | files |
Thu, 16 Dec 2010 09:26:46 +0100 | haftmann | merged | changeset | files |
Wed, 15 Dec 2010 10:15:55 +0100 | haftmann | merged | changeset | files |
Wed, 15 Dec 2010 10:06:36 +0100 | haftmann | updated generated files | changeset | files |
Wed, 15 Dec 2010 09:47:12 +0100 | haftmann | simplified evaluation function names | changeset | files |
Thu, 16 Dec 2010 09:10:38 +0100 | boehmes | turned simp_trace_depth_limit into a configuration option | changeset | files |