| Sun, 04 Mar 2012 10:34:44 +0100 | haftmann | move test targets to test target | changeset | files |
| Sun, 04 Mar 2012 10:33:47 +0100 | haftmann | dropped images for importer sessions | changeset | files |
| Sun, 04 Mar 2012 00:29:19 +0100 | haftmann | dropped dead code | changeset | files |
| Sun, 04 Mar 2012 00:27:07 +0100 | haftmann | more accurate dependencies | changeset | files |
| Sun, 04 Mar 2012 00:26:23 +0100 | haftmann | tuned ML | changeset | files |
| Sun, 04 Mar 2012 00:17:13 +0100 | haftmann | dropped silly code | changeset | files |
| Sun, 04 Mar 2012 00:15:08 +0100 | haftmann | tuned | changeset | files |
| Sun, 04 Mar 2012 00:04:37 +0100 | haftmann | dropped dead code | changeset | files |
| Sun, 04 Mar 2012 00:03:21 +0100 | haftmann | actually add "the" Importer theory | changeset | files |
| Sun, 04 Mar 2012 00:03:04 +0100 | haftmann | avoid internal hol4 name references in generic importer code | changeset | files |
| Sat, 03 Mar 2012 23:54:44 +0100 | haftmann | generalized user-visible text | changeset | files |
| Sat, 03 Mar 2012 23:49:54 +0100 | haftmann | generalized attribute name | changeset | files |
| Sat, 03 Mar 2012 23:49:22 +0100 | haftmann | dropped dead theories | changeset | files |
| Sat, 03 Mar 2012 23:43:21 +0100 | haftmann | one unified Importer theory | changeset | files |
| Sat, 03 Mar 2012 23:42:56 +0100 | haftmann | added actual dependencies | changeset | files |