kframework/k — pull request #270 by yilongli (2014-03-07 08:10:41+00:00)
Title: able to run environment-based fun-untyped with Java engine

Sorry, looks like I have completely messed up the commit history... I tried to sync my fork with the upstream repository and somehow I merged my local repo with my fork. Then a lot up duplicate commits show up. I guess that's because I accidentally changed a commit that has been pushed.