rlaemmel/pltcourse — pull request #1 by sschauss (2014-11-12 13:06:36+00:00)
Title: missing push operation

added the missing push operation to the smallstep semantic