wisp
 

Commit (click to see the diff): 285f1d6841b183cff6b1b207646e719c98b8f1cd

simplify example with identifier-syntax

Arne Babenhauserheide

Diffstat

Änderung:        1025:285f1d6841b1
Nutzer:          Arne Babenhauserheide 
Datum:           Fri May 22 17:10:25 2015 +0200
Zusammenfassung: simplify example with identifier-syntax

 examples/property.w |  17 +++++++----------
 1 Dateien verändert, 7 Zeilen hinzugefügt(+), 10 Zeilen entfernt(-)

Files in this revision