# HG changeset patch # User Thomas Wuerthinger # Date 1303507366 -7200 # Node ID 72d9b2cd27d6691c996651aafc096250fd82c3fe # Parent 96ca0e1b8a1d9b24c9acf0f257f685c9e82df943 Added draft for documentation (goals and IR). diff -r 96ca0e1b8a1d -r 72d9b2cd27d6 doc/Goals.odt Binary file doc/Goals.odt has changed diff -r 96ca0e1b8a1d -r 72d9b2cd27d6 doc/IR.odt Binary file doc/IR.odt has changed diff -r 96ca0e1b8a1d -r 72d9b2cd27d6 doc/IR.pdf Binary file doc/IR.pdf has changed