| 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 |
| Tue, 16 Oct 2012 16:50:03 +0200 | wenzelm | updated Toplevel.proofs; | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |