| Wed, 31 Aug 2011 17:36:10 +0200 | wenzelm | some support for theory status overview; | file | diff | annotate |
| Mon, 29 Aug 2011 16:38:56 +0200 | wenzelm | some dialog for auto loading of required files (still inactive); | file | diff | annotate |
| Fri, 12 Aug 2011 11:41:26 +0200 | wenzelm | clarified Exn.message; | file | diff | annotate |