collapse category "schematic goal" in keyword table -- Proof General does not know about this;
authorwenzelm
Fri Apr 23 22:39:49 2010 +0200 (2010-04-23)
changeset 36316f9b45eac4c60
parent 36315 e859879079c8
child 36317 506d732cb522
collapse category "schematic goal" in keyword table -- Proof General does not know about this;
lib/scripts/keywords
     1.1 --- a/lib/scripts/keywords	Fri Apr 23 21:00:28 2010 +0200
     1.2 +++ b/lib/scripts/keywords	Fri Apr 23 22:39:49 2010 +0200
     1.3 @@ -39,6 +39,7 @@
     1.4      elsif (m/^Outer syntax command:\s*"(.*)"\s*\((.*)\)/) {
     1.5        my $name = $1;
     1.6        my $kind = $2;
     1.7 +      if ($kind eq "theory-schematic-goal") { $kind = "theory-goal"; }
     1.8        &set_keyword($name, $kind);
     1.9      }
    1.10    }