EFForg/https-everywhere — pull request #685 by MilanKral (2014-10-21 13:50:47+00:00)
Title: Isabelle generic proof assistant.

Running on Technische Universität München.