On 05/14/2011 06:13 AM, b...@lyx.org wrote: > Author: baum > Date: Sat May 14 12:13:17 2011 > New Revision: 38752 > URL: http://www.lyx.org/trac/changeset/38752 > > Log: > babel knows \proofname already (bug #7513) > I've committed this to branch, as well. Thanks.
Richard
