kframework/k — pull request #1220 by andreistefanescu (2014-12-02 17:39:34+00:00)
Title: improved handling of bottom

not ready for review yet