search

des105f16 / Editor

0 stars 0 forks source link

Multiple principals in one declaration #10

Closed MikaelElkiaer closed 8 years ago

MikaelElkiaer commented 8 years ago

Add an additional way of declaring principals:

  1. (current) principal x;
  2. (new) principal y, z;