Added RPM package building. Configure with --enable-gtk-doc --enable-rpm and then...
[rodin/chimara.git] / interpreters / nitfol / nitfol.opt
2009-10-21 Philip Chimento- Fixed a bug that made Nitfol crash since [130]
2009-05-22 Philip ChimentoAdded Nitfol and Frotz source code.