#
# ChangeLog for preprover_py/server.py
#
# Generated by Trac 1.2
# May 19, 2024 7:02:54 PM

Tue, 20 Jul 2010 06:11:29 GMT Mike Ryan <mikeryan@…> [5a71bac]

	partial python preprover
	appears M2Crypto's SSL is buggy