Fixed minor bug - wait for event queue condition IF the queue is empty, not WHILE...
[rodin/chimara.git] / interpreters / nitfol / no_graph.h
2009-05-22 Philip ChimentoAdded Nitfol and Frotz source code.