Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Thu, 16 Jun 2005 11:38:52 +0200 | haftmann | isa-migrate ++ | file | diff | annotate |
Thu, 16 Jun 2005 10:42:55 +0200 | haftmann | isa-migrate ++ | file | diff | annotate |
Thu, 16 Jun 2005 10:37:39 +0200 | haftmann | isa-migrate ++ | file | diff | annotate |
Thu, 16 Jun 2005 10:30:26 +0200 | haftmann | isa-migrate ++ | file | diff | annotate |
Thu, 16 Jun 2005 10:21:36 +0200 | haftmann | isa-migrate ++ | file | diff | annotate |
Mon, 13 Jun 2005 14:35:05 +0200 | haftmann | experimental | file | diff | annotate |
Tue, 07 Jun 2005 17:08:19 +0200 | haftmann | started migration framwork script | file | diff | annotate |
Tue, 07 Jun 2005 10:53:13 +0200 | haftmann | added basics for generic migration tool | file | diff | annotate |