Tue, 09 Apr 2013 15:40:34 +0200 | wenzelm | quote by Alan Kay; | changeset | files |
Tue, 09 Apr 2013 15:37:23 +0200 | wenzelm | more accurate documentation; | changeset | files |
Tue, 09 Apr 2013 15:29:25 +0200 | wenzelm | discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems'; | changeset | files |