| Tue, 20 Mar 2012 13:02:07 +0100 | wenzelm | more stats; | file | diff | annotate |
| Sat, 17 Mar 2012 12:52:40 +0100 | wenzelm | renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; | file | diff | annotate |
| Fri, 24 Feb 2012 19:47:00 +0100 | wenzelm | updated stats according to src/HOL/IsaMakefile; | file | diff | annotate |
| Thu, 15 Dec 2011 13:40:20 +0100 | wenzelm | more stats; | file | diff | annotate |
| Wed, 19 Oct 2011 14:40:49 +0200 | wenzelm | further cleanup of stats (cf. 97e81a8aa277); | file | diff | annotate |
| Fri, 14 Oct 2011 11:34:30 +0200 | wenzelm | more complete stats, including small sessions which provide some clues on main HOL baseline performance; | file | diff | annotate |
| Mon, 19 Sep 2011 22:45:57 +0200 | wenzelm | more isatest stats; | file | diff | annotate |
| Thu, 11 Aug 2011 12:53:41 +0200 | wenzelm | somewhat more uniform THIS; | file | diff | annotate |
| Fri, 22 Apr 2011 15:25:01 +0200 | wenzelm | stats for mac-poly-M2; | file | diff | annotate |
| Fri, 28 Jan 2011 15:14:52 +0100 | wenzelm | more precise stats; | file | diff | annotate |
| Thu, 19 Aug 2010 18:44:26 +0200 | wenzelm | updated some isatest settings; | file | diff | annotate |
| Tue, 27 Jul 2010 12:59:22 +0200 | wenzelm | more precise stats; | file | diff | annotate |
| Fri, 28 May 2010 11:37:38 +0200 | wenzelm | discontinued Sun/Solaris tests; | file | diff | annotate |
| Sat, 01 May 2010 00:23:57 +0200 | wenzelm | more stats; | file | diff | annotate |
| Wed, 03 Mar 2010 20:21:30 +0100 | wenzelm | stats for at-poly-test; | file | diff | annotate |
| Sun, 03 Jan 2010 15:09:02 +0100 | wenzelm | updated stats; | file | diff | annotate |
| Tue, 27 Oct 2009 23:16:18 +0100 | wenzelm | reactivated sun-poly, as parallel test; | file | diff | annotate |
| Thu, 22 Oct 2009 17:09:29 +0200 | wenzelm | updated session name; | file | diff | annotate |
| Tue, 20 Oct 2009 20:03:23 +0200 | wenzelm | modernized session SET_Protocol; | file | diff | annotate |
| Tue, 20 Oct 2009 19:52:04 +0200 | wenzelm | modernized session Metis_Examples; | file | diff | annotate |
| Mon, 21 Sep 2009 16:00:34 +0200 | haftmann | adjusted to new Number Theory scenario | file | diff | annotate |
| Thu, 27 Aug 2009 17:09:37 +0200 | wenzelm | more stats; | file | diff | annotate |
| Thu, 06 Aug 2009 22:30:27 +0200 | wenzelm | more platforms; | file | diff | annotate |
| Wed, 29 Jul 2009 21:40:04 +0200 | wenzelm | proper Jinja-Slicing; | file | diff | annotate |
| Thu, 25 Jun 2009 13:40:03 +0200 | wenzelm | more stats; | file | diff | annotate |
| Sun, 14 Jun 2009 02:38:09 +0200 | wenzelm | more isatest platforms; | file | diff | annotate |
| Tue, 24 Mar 2009 13:12:23 +0100 | wenzelm | process at-sml-dev last -- takes very long (why?); | file | diff | annotate |
| Sat, 21 Mar 2009 12:35:34 +0100 | wenzelm | more stats; | file | diff | annotate |
| Thu, 26 Feb 2009 16:59:04 +0100 | wenzelm | include HOL-Decision_Procs in stats; | file | diff | annotate |
| Thu, 01 Jan 2009 10:42:48 +0100 | wenzelm | updated sessions; | file | diff | annotate |