--- 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) = @_;
--- 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":