proceedings: Difference between revisions