[auto] Merge from Praspel
[auto] Merge from Praspel

    • #155ffa5 — .v[ariables] print Praspel representations. (Ivan Enderlin, 2012-12-21)

---

Merge remote branch 'library-praspel/master'

Grummfy/Central,Metalaka/Central,vcgato29/Central,Grummfy/Central,vcgato29/Central,Metalaka/Central