Played around with nitfol build process, adding rules to generate the
[rodin/chimara.git] / interpreters / nitfol / nitfol.info
2009-09-09 Philip ChimentoPlayed around with nitfol build process, adding rules...
2009-05-22 Philip ChimentoAdded Nitfol and Frotz source code.