| Wed, 25 Mar 2015 10:59:28 +0100 | wenzelm | NEWS; | changeset | files |
| Wed, 25 Mar 2015 10:44:57 +0100 | wenzelm | prefer local fixes; | changeset | files |
| Wed, 25 Mar 2015 10:41:53 +0100 | wenzelm | proper signature; | changeset | files |
| Wed, 25 Mar 2015 00:22:10 +0100 | wenzelm | dummies may depend on goal params as well; | changeset | files |
| Tue, 24 Mar 2015 23:39:42 +0100 | wenzelm | merged | changeset | files |
| Tue, 24 Mar 2015 23:37:05 +0100 | wenzelm | proper comparison of blobs_info (amending illtyped equality from 86a76300137e) -- avoid redundant update of unchanged commands; | changeset | files |
| Tue, 24 Mar 2015 21:54:25 +0100 | wenzelm | clarified case_tac fixes and context; | changeset | files |