Main.20171119 History

Hide minor edits - Show changes to markup

November 19, 2017, at 12:46 PM by enrico -
Changed lines 1-5 from:
to:
Added lines 8-32:
Deleted lines 51-77:
November 19, 2017, at 12:45 PM by enrico -
Changed lines 1-5 from:
to:
Added lines 8-35:
November 19, 2017, at 12:43 PM by enrico -
Changed lines 5-6 from:

A very detailed and complete list of changes can be found in the ChangeLog.

to:
November 19, 2017, at 12:43 PM by enrico -
Added lines 1-26: