proof-general/etc/Dockerfile, branch master Emacs plugins for proof management systems Summary: Experimental Dockerfile 2015-03-13T19:27:11+00:00 David Aspinall 2015-03-13T19:27:11+00:00 bd817c08d157e33e55e4b99fed7f7809dcfe2de2