|
>(should I link it from the lua-user site? How?) Yes, the tools list in lua-user.org is in a wiki. This means that anyone can edit and update the pages. It's pretty simple: just click on "edit" at the bottom of the page. We moved the tools page to lua-user.org because we think it'll be easier to keep it updated. --lhf