# HG changeset patch
# User haftmann
# Date 1118156899 -7200
# Node ID d35f37a24e24b69615595a0c08cb61a48db3d23f
# Parent  2115e519e456575cbbe903b654b922f1efadfd63
started migration framwork script

diff -r 2115e519e456 -r d35f37a24e24 Admin/isa-migrate
--- a/Admin/isa-migrate	Tue Jun 07 10:53:13 2005 +0200
+++ b/Admin/isa-migrate	Tue Jun 07 17:08:19 2005 +0200
@@ -21,11 +21,49 @@
     id => sub {
         my ($file, @content) = @_;
     },
-    dummy => sub {
+    thyheader => sub {
         my ($file, @content) = @_;
+        $_ = join("", @content);
+        if (m!\G
+                ^
+                    theory\s+([^ ]+)
+                    (?:\s+(?:imports|=)\s+([^:]*?))?
+                    (?:\s+(?:files|uses)\s+([^:]*?))?
+                    \s*(?:begin|:)
+             !cgomsx) {
+            # STRATEGIE: abschnittsweises matchen, zwischendurch immer wieder whitespace
+            # verarbeiten
+        }
     }
 );
 
+# utility functions
+sub skip_wscomment {
+    my $commentlevel = 0;
+    my @skipped = ();
+    while () {
+        if (m!\G\{\*!cgoms) {
+            push(@skipped, $&);
+            $commentlevel++;
+        } elsif ($commentlevel > 0) {
+            if (m!\G\*\}!cgoms) {
+                push(@skipped, $&);
+                $commentlevel--;
+            } elsif (m!\G(?:
+                        [^{*]|\*[^{}]|\{[^*]
+                       )*!cgomsx) {
+                push(@skipped, $&);
+            } else {
+                die ("probably incorrectly nested comment");
+            }
+        } elsif (m!\G\s+!cgoms) {
+            push(@skipped, $&);
+        } else {
+            return join('', @skipped);
+        }
+    }
+}
+
 # process dir tree
 sub process_tree {
     my ($root, $migrator, $backupext) = @_;
diff -r 2115e519e456 -r d35f37a24e24 Admin/website/TODO
--- a/Admin/website/TODO	Tue Jun 07 10:53:13 2005 +0200
+++ b/Admin/website/TODO	Tue Jun 07 17:08:19 2005 +0200
@@ -2,10 +2,6 @@
 
 - use "//" paths for alle internal static resources, due to link consistency
 
-- integrate into makedist-chain (Florian)
-
-- more concise installation instructions for MaxOS X
-
 - make preview second section in "overview"
 
 - centralize scattered project partners informations at "community"
@@ -14,6 +10,8 @@
 
 - reduce prominence of license issue at "overview"
 
+- add CONTRIBUTORS and COPYRIGHT to Packages
+
 In the mid-time:
 
 - clarify relationship of "overview" and "logics":