On Sat, 31 Aug 2013 17:01:23 -0500, Joshua E. Horn wrote > Did not think of that, > > The extension is being changed to *.jtab,
Which would collide with JTab (http://jtab.tardate.com/) ;-) Cheers, Ralf Mattes To get on or off this list see list information at http://www.cs.dartmouth.edu/~wbc/lute-admin/index.html