Nemo wrote: > Jan: > > On 12 April 2014 19:48, Jan Verhoeven <jan at verhoeven272.nl> wrote (in part): >> I have started reformatting the sources on a new webpage: >> http://fruttenboel.verhoeven272.nl/projob14/index.html > Are you reformatting by hand or using a pretty-printer? Manual.... Using the JED editor. -- Groetjes Jan Verhoeven