Nitfol is a portable interpreter for Z-machine code, the game format used by Infocom and more recently, Inform. Nitfol handles versions one through eight of the format, and attempts to comply with version 1.0 of the Z-machine specification. It includes typo-correction, automatic map generation, infinite undo, and a GDB-like source-level debugger.
The Trolls don't seem too consistent in their thought...
The Trolls have a cute little mis-logic loop: the GPL can't
restrict linking to non-Free software, so GPLed code can be linked
with Qt without any problems. Thus, we can't release Qt under the GPL
because then people would link it to non-Free software. They're
claiming "we can't be wrong, so therefore we're not wrong."
Both of these claims are outright lies. Linking forms an
aggregative work, which is considered a derivative work under
copyright law in the US. The GPL restricts distribution of derivative
works. In fact, their own beloved QPL works on the same principles of
copyright law, though it restricts the very creation of derivative
works, not just their distribution.
If linking isn't forming a derivative work of Qt, then how can the QPL
restrict in-house development of undistributed programs? If linking
isn't forming a derivative work of GPLed programs, then what's the
purpose of the LGPL, and why has the FSF been so successful at
stopping people from distributing GPLed programs they own linked with
non-Free code (ncftp, objective-C gcc, ...)?
By switching to a GPL license, the only big loss for Troll Tech is
that commercial companies could start developing non-Free software
with Qt to see if it meets their needs before buying the
"professional" version. Of course, it is possible that a large
portion of their income is from companies which never actually ship a
product using Qt.
It is the Troll's code, so they can license it however they
want. If it weren't for Troll/KDE denying that there exists a
problem, the license issue probably would have gone away a long time
ago (since the people in charge of KDE are employed by Troll Tech).