author | wenzelm |
Sat, 14 Jun 2008 15:58:36 +0200 | |
changeset 27199 | 0a451e1e6176 |
parent 27198 | 79e9bf691aed |
child 27200 | 00b7b55b61bd |
1.1 --- a/Admin/isatest/isatest-stats Sat Jun 14 15:56:52 2008 +0200 1.2 +++ b/Admin/isatest/isatest-stats Sat Jun 14 15:58:36 2008 +0200 1.3 @@ -34,7 +34,7 @@ 1.4 1.5 AFP_SESSIONS="\ 1.6 CoreC++\ 1.7 - HOL-Complex-LinearQuantifierElim\ 1.8 + LinearQuantifierElim\ 1.9 HOL-DiskPaxos\ 1.10 HOL-Fermat3_4\ 1.11 HOL-Flyspeck-Tame\