| Fri, 14 Mar 2014 15:26:52 +0100 | wenzelm | conceal improper cases, e.g. relevant for completion (and potentially for markup); | changeset | files |
| Fri, 14 Mar 2014 15:12:22 +0100 | wenzelm | conceal somewhat obscure internal facts, e.g. relevant for 'print_theorems', 'find_theorems'; | changeset | files |
| Fri, 14 Mar 2014 14:59:43 +0100 | wenzelm | more accurate resolution of hybrid facts, which actually changes the sort order of results; | changeset | files |