geecee
April 6th, 2006, 02:22 AM
I would like to change the name of the default proof directory from "Proofs" to something else and to save this in a .dat file in the "Proofs settings" folder. Is this possible?