Tue, 26 Mar 2013 14:03:31 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 26 Mar 2013 12:40:51 +0100 | wenzelm | mixed theory/command entries; | file | diff | annotate |
Tue, 15 Jan 2013 12:45:19 +0100 | wenzelm | separate color ranges by 1px to improve discernment of overall theory status; | file | diff | annotate |
Mon, 14 Jan 2013 23:08:40 +0100 | wenzelm | more prominent status ticks; | file | diff | annotate |
Fri, 30 Nov 2012 21:47:44 +0100 | wenzelm | tuned labels; | file | diff | annotate |
Fri, 30 Nov 2012 21:30:24 +0100 | wenzelm | renamed dockable "Prover Session" to "Theories"; | file | diff | annotate | base |