Restore “let”.
Support variables in disjunctions!
[auto] Merge from Praspel

    • #586a8d0 — Restore “let”. (Ivan Enderlin, 2013-09-27)
    • #59c6e48 — Support variables in disjunctions! (Ivan Enderlin, 2013-09-27)

---

Merge remote branch 'library-praspel/master'