| 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 |
| Tue, 24 Mar 2015 20:07:27 +0100 | wenzelm | clarified name; | changeset | files |