Fri, 14 Mar 2014 17:32:11 +0100 | wenzelm | merged | changeset | files |
Fri, 14 Mar 2014 16:54:01 +0100 | wenzelm | prefer more robust Synchronized.var; | changeset | files |
Fri, 14 Mar 2014 15:41:29 +0100 | wenzelm | discontinued somewhat pointless "thy_script" keyword kind; | changeset | files |
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 |