Viewing all changes in revision 10699.

Committer: herbelin
Date: 2009-11-12 11:28:56 UTC
Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12506

Experiment propagation of implicit arguments and arguments scope for
abbreviations of applied references.

added added

removed removed