| Tue, 09 Apr 2013 15:37:23 +0200 | wenzelm | more accurate documentation; | file | diff | annotate |
| Tue, 09 Apr 2013 15:29:25 +0200 | wenzelm | discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems'; | file | diff | annotate |