wenzelm [Wed, 13 Apr 2005 18:46:12 +0200] rev 15709
*** MESSAGE REFERS TO PREVIOUS VERSION ***
use args.ML, attrib.ML earlier;
wenzelm [Wed, 13 Apr 2005 18:46:04 +0200] rev 15708
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Scan.peek;
Args.local_tyname, Args.local_const;
wenzelm [Wed, 13 Apr 2005 18:45:52 +0200] rev 15707
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Method.src;
wenzelm [Wed, 13 Apr 2005 18:45:38 +0200] rev 15706
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Args.global_const (static binding!);
wenzelm [Wed, 13 Apr 2005 18:45:25 +0200] rev 15705
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Attrib.src;
wenzelm [Wed, 13 Apr 2005 18:45:09 +0200] rev 15704
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Attrib.src;
Args.maybe;