--- a/Admin/isatest/isatest-stats Sat Mar 17 12:26:19 2012 +0100
+++ b/Admin/isatest/isatest-stats Sat Mar 17 12:52:40 2012 +0100
@@ -32,7 +32,7 @@
HOL-Isar_Examples
HOL-Lattice
HOL-Library-Codegenerator_Test
- HOL-Matrix
+ HOL-Matrix_LP
HOL-Metis_Examples
HOL-MicroJava
HOL-Mirabelle