<> <> Install EDIFfing EDIFGrammar EDIFSemantics Run EDIFSemanticsBasic EDIFSemanticsCell EDIFSemanticsHeap1 EDIFSemanticsHeap2 EDIFSemanticsProgging EDIFSemanticsTest _ EDIFSemanticsBasic.DefineEm[] _ EDIFSemanticsCell.DefineEm[] _ EDIFSemanticsHeap1.DefineEm[] _ EDIFSemanticsHeap2.DefineEm[] _ EDIFSemanticsProgging.DefineEm[] _ EDIFSemanticsProgging.log _ &stdout[] <<_ EDIFGrammarImpl.PrintGrammarDefsToFile["EDIF-Defs.Tioga", EDIFGrammarImpl.g]>> <<_ EDIFGrammarImpl.PrintGrammarUsesToFile["EDIF-Uses.Tioga", EDIFGrammarImpl.g]>>