12:2312:23, 29 January 2012diffhist−1,420
Texmaker
Deleted the technical comment as it has been fixed. Check the box "Check for external changes" in the editor settings.
04:3104:31, 25 June 2011diffhist−3
Jack Daniel
according to the JackDaniels.com homepage his exact birthday is not known, furthermore he was born in 1850 according to the same homepage
12:2312:23, 29 January 2012diffhist−1,420
Texmaker
Deleted the technical comment as it has been fixed. Check the box "Check for external changes" in the editor settings.
04:3104:31, 25 June 2011diffhist−3
Jack Daniel
according to the JackDaniels.com homepage his exact birthday is not known, furthermore he was born in 1850 according to the same homepage