on ef96224 help sign in
all commits
18de5feadd :showGraph to tutd consoleAgentM 89eff3bWIP transaction supportAgentM 2f6b871implement update operator with simple restriction clause implement simple Tutorial D actions to allow for "quit" actionAgentM 550b966fix unused module and name warningsAgentM 2c7f52aadd a mkRelation testAgentM 89cf883cabalize projectAgentM 49ed722working Tutorial D parserAgentM