Context                Previous, Next                Top


13_a_history_of_qed
Ken's CTSS qed adopted from the Berkeley one the notion of multiple buffers to edit several files simultaneously and to move and copy text among them, and also the idea of executing a given buffer as editor commands, thus providing programmability.

n13_a_history_of_qed n13_a_history_of_qed__1_1_1_1_1 Ken n13_a_history_of_qed__1_1_1_2_1 's n13_a_history_of_qed__1_1_2_1 CTSS n13_a_history_of_qed__1_1_3_1 qed n13_a_history_of_qed__1_2_1 adopted n13_a_history_of_qed__1_3_1_1 from n13_a_history_of_qed__1_3_2_1_1 the n13_a_history_of_qed__1_3_2_2_1 Berkeley n13_a_history_of_qed__1_3_2_3_1 one n13_a_history_of_qed__1_4_1_1_1_1 the n13_a_history_of_qed__1_4_1_1_2_1 notion n13_a_history_of_qed__1_4_1_1_3_1_1 of n13_a_history_of_qed__1_4_1_1_3_2_1_1_1 multiple n13_a_history_of_qed__1_4_1_1_3_2_2_1 buffers n13_a_history_of_qed__1_4_1_1_4_1_1 *T* n13_a_history_of_qed__1_4_1_1_4_2_1_1_1 to n13_a_history_of_qed__1_4_1_1_4_2_1_2_1 edit n13_a_history_of_qed__1_4_1_1_4_2_1_3_1_1_1 several n13_a_history_of_qed__1_4_1_1_4_2_1_3_2_1 files n13_a_history_of_qed__1_4_1_1_4_2_1_4_1_1 simultaneously n13_a_history_of_qed__1_4_1_1_4_2_2_1_1 and n13_a_history_of_qed__1_4_1_1_4_2_2_2_1_1 to n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1_1_1 move n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_1_1 and n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2_1_1 copy n13_a_history_of_qed__1_4_1_1_4_2_2_2_3_1_1 text n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_1_1 among n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2_1_1 them n13_a_history_of_qed__1_4_1_2_1 , n13_a_history_of_qed__1_4_1_3_1_1 and n13_a_history_of_qed__1_4_1_3_2_1_1_1 also n13_a_history_of_qed__1_4_1_3_2_2_1 the n13_a_history_of_qed__1_4_1_3_2_3_1 idea n13_a_history_of_qed__1_4_1_3_2_4_1_1 of n13_a_history_of_qed__1_4_1_3_2_4_2_1_1 executing n13_a_history_of_qed__1_4_1_3_2_4_2_2_1_1 a n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_1_1 * n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_2_1 given n13_a_history_of_qed__1_4_1_3_2_4_2_2_3_1 buffer n13_a_history_of_qed__1_4_1_3_2_4_2_3_1_1 as n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_1_1 editor n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_2_1 commands n13_a_history_of_qed__1_4_1_3_2_4_2_4_1 , n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1_1_1 thus n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_2_1 providing n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3_1_1 programmability n13_a_history_of_qed__1_5_1 . n13_a_history_of_qed__1 IP-MAT n13_a_history_of_qed__1_1 NP-SBJ n13_a_history_of_qed__1->n13_a_history_of_qed__1_1 n13_a_history_of_qed__1_2 VBD;_Tn.pr_ n13_a_history_of_qed__1->n13_a_history_of_qed__1_2 n13_a_history_of_qed__1_3 PP-NIM n13_a_history_of_qed__1->n13_a_history_of_qed__1_3 n13_a_history_of_qed__1_4 NP-OB1 n13_a_history_of_qed__1->n13_a_history_of_qed__1_4 n13_a_history_of_qed__1_5 PUNC n13_a_history_of_qed__1->n13_a_history_of_qed__1_5 n13_a_history_of_qed__1_1_1 NP-GEN n13_a_history_of_qed__1_1->n13_a_history_of_qed__1_1_1 n13_a_history_of_qed__1_1_2 NPR n13_a_history_of_qed__1_1->n13_a_history_of_qed__1_1_2 n13_a_history_of_qed__1_1_3 NPR n13_a_history_of_qed__1_1->n13_a_history_of_qed__1_1_3 n13_a_history_of_qed__1_1_1_1 NPR n13_a_history_of_qed__1_1_1->n13_a_history_of_qed__1_1_1_1 n13_a_history_of_qed__1_1_1_2 GENM n13_a_history_of_qed__1_1_1->n13_a_history_of_qed__1_1_1_2 n13_a_history_of_qed__1_1_1_1->n13_a_history_of_qed__1_1_1_1_1 n13_a_history_of_qed__1_1_1_2->n13_a_history_of_qed__1_1_1_2_1 n13_a_history_of_qed__1_1_2->n13_a_history_of_qed__1_1_2_1 n13_a_history_of_qed__1_1_3->n13_a_history_of_qed__1_1_3_1 n13_a_history_of_qed__1_2->n13_a_history_of_qed__1_2_1 n13_a_history_of_qed__1_3_1 P-ROLE n13_a_history_of_qed__1_3->n13_a_history_of_qed__1_3_1 n13_a_history_of_qed__1_3_2 NP n13_a_history_of_qed__1_3->n13_a_history_of_qed__1_3_2 n13_a_history_of_qed__1_3_1->n13_a_history_of_qed__1_3_1_1 n13_a_history_of_qed__1_3_2_1 D n13_a_history_of_qed__1_3_2->n13_a_history_of_qed__1_3_2_1 n13_a_history_of_qed__1_3_2_2 NPR n13_a_history_of_qed__1_3_2->n13_a_history_of_qed__1_3_2_2 n13_a_history_of_qed__1_3_2_3 NUM n13_a_history_of_qed__1_3_2->n13_a_history_of_qed__1_3_2_3 n13_a_history_of_qed__1_3_2_1->n13_a_history_of_qed__1_3_2_1_1 n13_a_history_of_qed__1_3_2_2->n13_a_history_of_qed__1_3_2_2_1 n13_a_history_of_qed__1_3_2_3->n13_a_history_of_qed__1_3_2_3_1 n13_a_history_of_qed__1_4_1 NLYR n13_a_history_of_qed__1_4->n13_a_history_of_qed__1_4_1 n13_a_history_of_qed__1_4_1_1 NLYR n13_a_history_of_qed__1_4_1->n13_a_history_of_qed__1_4_1_1 n13_a_history_of_qed__1_4_1_2 PUNC n13_a_history_of_qed__1_4_1->n13_a_history_of_qed__1_4_1_2 n13_a_history_of_qed__1_4_1_3 CONJP n13_a_history_of_qed__1_4_1->n13_a_history_of_qed__1_4_1_3 n13_a_history_of_qed__1_4_1_1_1 D n13_a_history_of_qed__1_4_1_1->n13_a_history_of_qed__1_4_1_1_1 n13_a_history_of_qed__1_4_1_1_2 N n13_a_history_of_qed__1_4_1_1->n13_a_history_of_qed__1_4_1_1_2 n13_a_history_of_qed__1_4_1_1_3 PP n13_a_history_of_qed__1_4_1_1->n13_a_history_of_qed__1_4_1_1_3 n13_a_history_of_qed__1_4_1_1_4 IP-INF-REL n13_a_history_of_qed__1_4_1_1->n13_a_history_of_qed__1_4_1_1_4 n13_a_history_of_qed__1_4_1_1_1->n13_a_history_of_qed__1_4_1_1_1_1 n13_a_history_of_qed__1_4_1_1_2->n13_a_history_of_qed__1_4_1_1_2_1 n13_a_history_of_qed__1_4_1_1_3_1 P-ROLE n13_a_history_of_qed__1_4_1_1_3->n13_a_history_of_qed__1_4_1_1_3_1 n13_a_history_of_qed__1_4_1_1_3_2 NP n13_a_history_of_qed__1_4_1_1_3->n13_a_history_of_qed__1_4_1_1_3_2 n13_a_history_of_qed__1_4_1_1_3_1->n13_a_history_of_qed__1_4_1_1_3_1_1 n13_a_history_of_qed__1_4_1_1_3_2_1 ADJP n13_a_history_of_qed__1_4_1_1_3_2->n13_a_history_of_qed__1_4_1_1_3_2_1 n13_a_history_of_qed__1_4_1_1_3_2_2 NS n13_a_history_of_qed__1_4_1_1_3_2->n13_a_history_of_qed__1_4_1_1_3_2_2 n13_a_history_of_qed__1_4_1_1_3_2_1_1 ADJ n13_a_history_of_qed__1_4_1_1_3_2_1->n13_a_history_of_qed__1_4_1_1_3_2_1_1 n13_a_history_of_qed__1_4_1_1_3_2_1_1->n13_a_history_of_qed__1_4_1_1_3_2_1_1_1 n13_a_history_of_qed__1_4_1_1_3_2_2->n13_a_history_of_qed__1_4_1_1_3_2_2_1 n13_a_history_of_qed__1_4_1_1_4_1 NP-NIM n13_a_history_of_qed__1_4_1_1_4->n13_a_history_of_qed__1_4_1_1_4_1 n13_a_history_of_qed__1_4_1_1_4_2 ILYR n13_a_history_of_qed__1_4_1_1_4->n13_a_history_of_qed__1_4_1_1_4_2 n13_a_history_of_qed__1_4_1_1_4_1->n13_a_history_of_qed__1_4_1_1_4_1_1 n13_a_history_of_qed__1_4_1_1_4_2_1 ILYR n13_a_history_of_qed__1_4_1_1_4_2->n13_a_history_of_qed__1_4_1_1_4_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2 CONJP n13_a_history_of_qed__1_4_1_1_4_2->n13_a_history_of_qed__1_4_1_1_4_2_2 n13_a_history_of_qed__1_4_1_1_4_2_1_1 TO n13_a_history_of_qed__1_4_1_1_4_2_1->n13_a_history_of_qed__1_4_1_1_4_2_1_1 n13_a_history_of_qed__1_4_1_1_4_2_1_2 VB;_Tn_ n13_a_history_of_qed__1_4_1_1_4_2_1->n13_a_history_of_qed__1_4_1_1_4_2_1_2 n13_a_history_of_qed__1_4_1_1_4_2_1_3 NP-OB1 n13_a_history_of_qed__1_4_1_1_4_2_1->n13_a_history_of_qed__1_4_1_1_4_2_1_3 n13_a_history_of_qed__1_4_1_1_4_2_1_4 ADVP-NIM n13_a_history_of_qed__1_4_1_1_4_2_1->n13_a_history_of_qed__1_4_1_1_4_2_1_4 n13_a_history_of_qed__1_4_1_1_4_2_1_1->n13_a_history_of_qed__1_4_1_1_4_2_1_1_1 n13_a_history_of_qed__1_4_1_1_4_2_1_2->n13_a_history_of_qed__1_4_1_1_4_2_1_2_1 n13_a_history_of_qed__1_4_1_1_4_2_1_3_1 ADJP n13_a_history_of_qed__1_4_1_1_4_2_1_3->n13_a_history_of_qed__1_4_1_1_4_2_1_3_1 n13_a_history_of_qed__1_4_1_1_4_2_1_3_2 NS n13_a_history_of_qed__1_4_1_1_4_2_1_3->n13_a_history_of_qed__1_4_1_1_4_2_1_3_2 n13_a_history_of_qed__1_4_1_1_4_2_1_3_1_1 ADJ n13_a_history_of_qed__1_4_1_1_4_2_1_3_1->n13_a_history_of_qed__1_4_1_1_4_2_1_3_1_1 n13_a_history_of_qed__1_4_1_1_4_2_1_3_1_1->n13_a_history_of_qed__1_4_1_1_4_2_1_3_1_1_1 n13_a_history_of_qed__1_4_1_1_4_2_1_3_2->n13_a_history_of_qed__1_4_1_1_4_2_1_3_2_1 n13_a_history_of_qed__1_4_1_1_4_2_1_4_1 ADV n13_a_history_of_qed__1_4_1_1_4_2_1_4->n13_a_history_of_qed__1_4_1_1_4_2_1_4_1 n13_a_history_of_qed__1_4_1_1_4_2_1_4_1->n13_a_history_of_qed__1_4_1_1_4_2_1_4_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_1 CONJ n13_a_history_of_qed__1_4_1_1_4_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2 ILYR n13_a_history_of_qed__1_4_1_1_4_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2 n13_a_history_of_qed__1_4_1_1_4_2_2_1->n13_a_history_of_qed__1_4_1_1_4_2_2_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_1 TO n13_a_history_of_qed__1_4_1_1_4_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2 ILYR n13_a_history_of_qed__1_4_1_1_4_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2 n13_a_history_of_qed__1_4_1_1_4_2_2_2_3 NP-OB1 n13_a_history_of_qed__1_4_1_1_4_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_3 n13_a_history_of_qed__1_4_1_1_4_2_2_2_4 PP-CLR n13_a_history_of_qed__1_4_1_1_4_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_4 n13_a_history_of_qed__1_4_1_1_4_2_2_2_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1 ILYR n13_a_history_of_qed__1_4_1_1_4_2_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2 CONJP n13_a_history_of_qed__1_4_1_1_4_2_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1_1 VB;_Tn.pr_ n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_1_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_1 CONJ n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2 ILYR n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2_1 VB;_Tn.pr_ n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_2_2_2_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_3_1 N n13_a_history_of_qed__1_4_1_1_4_2_2_2_3->n13_a_history_of_qed__1_4_1_1_4_2_2_2_3_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_3_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_3_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_1 P-ROLE n13_a_history_of_qed__1_4_1_1_4_2_2_2_4->n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2 NP n13_a_history_of_qed__1_4_1_1_4_2_2_2_4->n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2 n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_1_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2_1 PRO n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2->n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2_1 n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2_1->n13_a_history_of_qed__1_4_1_1_4_2_2_2_4_2_1_1 n13_a_history_of_qed__1_4_1_2->n13_a_history_of_qed__1_4_1_2_1 n13_a_history_of_qed__1_4_1_3_1 CONJ n13_a_history_of_qed__1_4_1_3->n13_a_history_of_qed__1_4_1_3_1 n13_a_history_of_qed__1_4_1_3_2 NLYR n13_a_history_of_qed__1_4_1_3->n13_a_history_of_qed__1_4_1_3_2 n13_a_history_of_qed__1_4_1_3_1->n13_a_history_of_qed__1_4_1_3_1_1 n13_a_history_of_qed__1_4_1_3_2_1 ADVP n13_a_history_of_qed__1_4_1_3_2->n13_a_history_of_qed__1_4_1_3_2_1 n13_a_history_of_qed__1_4_1_3_2_2 D n13_a_history_of_qed__1_4_1_3_2->n13_a_history_of_qed__1_4_1_3_2_2 n13_a_history_of_qed__1_4_1_3_2_3 N n13_a_history_of_qed__1_4_1_3_2->n13_a_history_of_qed__1_4_1_3_2_3 n13_a_history_of_qed__1_4_1_3_2_4 PP n13_a_history_of_qed__1_4_1_3_2->n13_a_history_of_qed__1_4_1_3_2_4 n13_a_history_of_qed__1_4_1_3_2_1_1 ADV n13_a_history_of_qed__1_4_1_3_2_1->n13_a_history_of_qed__1_4_1_3_2_1_1 n13_a_history_of_qed__1_4_1_3_2_1_1->n13_a_history_of_qed__1_4_1_3_2_1_1_1 n13_a_history_of_qed__1_4_1_3_2_2->n13_a_history_of_qed__1_4_1_3_2_2_1 n13_a_history_of_qed__1_4_1_3_2_3->n13_a_history_of_qed__1_4_1_3_2_3_1 n13_a_history_of_qed__1_4_1_3_2_4_1 P-ROLE n13_a_history_of_qed__1_4_1_3_2_4->n13_a_history_of_qed__1_4_1_3_2_4_1 n13_a_history_of_qed__1_4_1_3_2_4_2 IP-PPL3 n13_a_history_of_qed__1_4_1_3_2_4->n13_a_history_of_qed__1_4_1_3_2_4_2 n13_a_history_of_qed__1_4_1_3_2_4_1->n13_a_history_of_qed__1_4_1_3_2_4_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_1 VAG;_Tn_ n13_a_history_of_qed__1_4_1_3_2_4_2->n13_a_history_of_qed__1_4_1_3_2_4_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2 NP-OB1 n13_a_history_of_qed__1_4_1_3_2_4_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2 n13_a_history_of_qed__1_4_1_3_2_4_2_3 PP-NIM n13_a_history_of_qed__1_4_1_3_2_4_2->n13_a_history_of_qed__1_4_1_3_2_4_2_3 n13_a_history_of_qed__1_4_1_3_2_4_2_4 PUNC n13_a_history_of_qed__1_4_1_3_2_4_2->n13_a_history_of_qed__1_4_1_3_2_4_2_4 n13_a_history_of_qed__1_4_1_3_2_4_2_5 PP-SCON n13_a_history_of_qed__1_4_1_3_2_4_2->n13_a_history_of_qed__1_4_1_3_2_4_2_5 n13_a_history_of_qed__1_4_1_3_2_4_2_1->n13_a_history_of_qed__1_4_1_3_2_4_2_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2_1 D n13_a_history_of_qed__1_4_1_3_2_4_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2_2 IP-PPL n13_a_history_of_qed__1_4_1_3_2_4_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2_2 n13_a_history_of_qed__1_4_1_3_2_4_2_2_3 N n13_a_history_of_qed__1_4_1_3_2_4_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2_3 n13_a_history_of_qed__1_4_1_3_2_4_2_2_1->n13_a_history_of_qed__1_4_1_3_2_4_2_2_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_1 NP-LGS n13_a_history_of_qed__1_4_1_3_2_4_2_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_2 VVN;_Tn_ n13_a_history_of_qed__1_4_1_3_2_4_2_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_2 n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_1->n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_2_2_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_2_3->n13_a_history_of_qed__1_4_1_3_2_4_2_2_3_1 n13_a_history_of_qed__1_4_1_3_2_4_2_3_1 P-ROLE n13_a_history_of_qed__1_4_1_3_2_4_2_3->n13_a_history_of_qed__1_4_1_3_2_4_2_3_1 n13_a_history_of_qed__1_4_1_3_2_4_2_3_2 NP n13_a_history_of_qed__1_4_1_3_2_4_2_3->n13_a_history_of_qed__1_4_1_3_2_4_2_3_2 n13_a_history_of_qed__1_4_1_3_2_4_2_3_1->n13_a_history_of_qed__1_4_1_3_2_4_2_3_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_1 N n13_a_history_of_qed__1_4_1_3_2_4_2_3_2->n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_2 NS n13_a_history_of_qed__1_4_1_3_2_4_2_3_2->n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_2 n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_1->n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_2->n13_a_history_of_qed__1_4_1_3_2_4_2_3_2_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_4->n13_a_history_of_qed__1_4_1_3_2_4_2_4_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1 IP-PPL2 n13_a_history_of_qed__1_4_1_3_2_4_2_5->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1 ADVP-NIM n13_a_history_of_qed__1_4_1_3_2_4_2_5_1->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_2 VAG;_Tn_ n13_a_history_of_qed__1_4_1_3_2_4_2_5_1->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_2 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3 NP-OB1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1_1 ADV n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1_1->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_1_1_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_2->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_2_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3_1 N n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3_1 n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3_1->n13_a_history_of_qed__1_4_1_3_2_4_2_5_1_3_1_1 n13_a_history_of_qed__1_5->n13_a_history_of_qed__1_5_1 
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
                                           (GENM <apos>s))
                             (NPR CTSS;{CTSS})
                             (NPR qed;{qed}))
          (VBD;_Tn.pr_ adopted;{adopt})
          (PP-NIM (P-ROLE from;{from})
                  (NP;{BERKELEY_QED} (D the;{the})
                                     (NPR Berkeley;{Berkeley})
                                     (NUM one;{one})))
          (NP-OB1 (NLYR (NLYR (D the;{the})
                              (N notion;{notion})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ multiple;{multiple}))
                                      (NS buffers;{buffer})))
                              (IP-INF-REL (NP-NIM *T*)
                                          (ILYR (ILYR (TO to;{to})
                                                      (VB;_Tn_ edit;{edit})
                                                      (NP-OB1;{FILES} (ADJP (ADJ several;{several}))
                                                                      (NS files;{file}))
                                                      (ADVP-NIM (ADV simultaneously;{simultaneously})))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (TO to;{to})
                                                             (ILYR (ILYR (VB;_Tn.pr_ move;{move[among]}))
                                                                   (CONJP (CONJ and;{and})
                                                                          (ILYR (VB;_Tn.pr_ copy;{copy[among]}))))
                                                             (NP-OB1 (N text;{text}))
                                                             (PP-CLR (P-ROLE among;{among})
                                                                     (NP;{FILES} (PRO them;{they}))))))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (ADVP (ADV also;{also}))
                                     (D the;{the})
                                     (N idea;{idea})
                                     (PP (P-ROLE of;{of})
                                         (IP-PPL3 (VAG;_Tn_ executing;{execute})
                                                  (NP-OB1 (D a;{a})
                                                          (IP-PPL (NP-LGS *)
                                                                  (VVN;_Tn_ given;{give}))
                                                          (N buffer;{buffer}))
                                                  (PP-NIM (P-ROLE as;{as})
                                                          (NP (N editor;{editor})
                                                              (NS commands;{command})))
                                                  (PUNC ,)
                                                  (PP-SCON (IP-PPL2 (ADVP-NIM (ADV thus;{thus}))
                                                                    (VAG;_Tn_ providing;{provide})
                                                                    (NP-OB1 (N programmability;{programmability}))))))))))
          (PUNC .))
  (ID 13_a_history_of_qed))


%3 z_0013_5025 r_0013_0043__providing providing z_0013_5025->r_0013_0043__providing [restriction] r_0013_0034__executing executing z_0013_5025->r_0013_0034__executing [scope] z_0013_5021 r_0013_0043__providing->z_0013_5021 [arg0] r_0013_0044__programmability programmability r_0013_0043__providing->r_0013_0044__programmability [arg1] r_0013_0042__thus thus r_0013_0043__providing->r_0013_0042__thus [nim] r_0013_0034__executing->z_0013_5021 [arg0] r_0013_0035__a_r_0013_0037__buffer a buffer r_0013_0034__executing->r_0013_0035__a_r_0013_0037__buffer [arg1] r_0013_0039__editor_r_0013_0040__commands editor commands r_0013_0034__executing->r_0013_0039__editor_r_0013_0040__commands as [nim] r_0013_0036__given given z_0013_5023___star_ * r_0013_0036__given->z_0013_5023___star_ [arg0] r_0013_0036__given->r_0013_0035__a_r_0013_0037__buffer [inv_arg1] r_0013_0031__the_r_0013_0032__idea the idea r_0013_0031__the_r_0013_0032__idea->z_0013_5025 of r_0013_0030__also also r_0013_0031__the_r_0013_0032__idea->r_0013_0030__also [qual] r_0013_0029__and and r_0013_0029__and->r_0013_0031__the_r_0013_0032__idea [conj2] r_0013_0010__the_r_0013_0011__notion the notion r_0013_0029__and->r_0013_0010__the_r_0013_0011__notion [conj1] r_0013_0014__buffers buffers r_0013_0010__the_r_0013_0011__notion->r_0013_0014__buffers of r_0013_0024__copy copy r_0013_0024__copy->r_0013_0010__the_r_0013_0011__notion inv_nim z_0013_5006 r_0013_0024__copy->z_0013_5006 [arg0] r_0013_0025__text text r_0013_0024__copy->r_0013_0025__text [arg1] r_0013_0018__files files r_0013_0024__copy->r_0013_0018__files among [clr] r_0013_0017__several several r_0013_0018__files->r_0013_0017__several [attrib] r_0013_0023__and and r_0013_0023__and->r_0013_0024__copy [conj2] r_0013_0022__move move r_0013_0023__and->r_0013_0022__move [conj1] r_0013_0022__move->r_0013_0010__the_r_0013_0011__notion inv_nim r_0013_0022__move->z_0013_5006 [arg0] r_0013_0022__move->r_0013_0025__text [arg1] r_0013_0022__move->r_0013_0018__files among [clr] r_0013_0020__and and r_0013_0020__and->r_0013_0023__and [conj2] r_0013_0016__edit edit r_0013_0020__and->r_0013_0016__edit [conj1] r_0013_0016__edit->r_0013_0010__the_r_0013_0011__notion inv_nim r_0013_0016__edit->z_0013_5006 [arg0] r_0013_0016__edit->r_0013_0018__files [arg1] r_0013_0019__simultaneously simultaneously r_0013_0016__edit->r_0013_0019__simultaneously [nim] r_0013_0013__multiple multiple r_0013_0014__buffers->r_0013_0013__multiple [attrib] r_0013_0005__adopted adopted r_0013_0005__adopted->r_0013_0029__and [arg1] r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one the Berkeley one r_0013_0005__adopted->r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one from [nim] r_0013_0003__CTSS_r_0013_0004__qed CTSS qed r_0013_0005__adopted->r_0013_0003__CTSS_r_0013_0004__qed [arg0] r_0013_0001__Ken Ken r_0013_0003__CTSS_r_0013_0004__qed->r_0013_0001__Ken [gen] 
arc(r_0013_0003__CTSS_r_0013_0004__qed,r_0013_0001__Ken,gen).
arc(r_0013_0005__adopted,r_0013_0003__CTSS_r_0013_0004__qed,arg0).
arc(r_0013_0005__adopted,r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one,r_0013_0006__from__nim).
arc(r_0013_0005__adopted,r_0013_0029__and,arg1).
arc(r_0013_0010__the_r_0013_0011__notion,r_0013_0014__buffers,r_0013_0012__of).
arc(r_0013_0014__buffers,r_0013_0013__multiple,attrib).
arc(r_0013_0016__edit,r_0013_0010__the_r_0013_0011__notion,inv_nim).
arc(r_0013_0016__edit,r_0013_0018__files,arg1).
arc(r_0013_0016__edit,r_0013_0019__simultaneously,nim).
arc(r_0013_0016__edit,z_0013_5006,arg0).
arc(r_0013_0018__files,r_0013_0017__several,attrib).
arc(r_0013_0020__and,r_0013_0016__edit,conj1).
arc(r_0013_0020__and,r_0013_0023__and,conj2).
arc(r_0013_0022__move,r_0013_0010__the_r_0013_0011__notion,inv_nim).
arc(r_0013_0022__move,r_0013_0018__files,r_0013_0026__among__clr).
arc(r_0013_0022__move,r_0013_0025__text,arg1).
arc(r_0013_0022__move,z_0013_5006,arg0).
arc(r_0013_0023__and,r_0013_0022__move,conj1).
arc(r_0013_0023__and,r_0013_0024__copy,conj2).
arc(r_0013_0024__copy,r_0013_0010__the_r_0013_0011__notion,inv_nim).
arc(r_0013_0024__copy,r_0013_0018__files,r_0013_0026__among__clr).
arc(r_0013_0024__copy,r_0013_0025__text,arg1).
arc(r_0013_0024__copy,z_0013_5006,arg0).
arc(r_0013_0029__and,r_0013_0010__the_r_0013_0011__notion,conj1).
arc(r_0013_0029__and,r_0013_0031__the_r_0013_0032__idea,conj2).
arc(r_0013_0031__the_r_0013_0032__idea,r_0013_0030__also,qual).
arc(r_0013_0031__the_r_0013_0032__idea,z_0013_5025,r_0013_0033__of).
arc(r_0013_0034__executing,r_0013_0035__a_r_0013_0037__buffer,arg1).
arc(r_0013_0034__executing,r_0013_0039__editor_r_0013_0040__commands,r_0013_0038__as__nim).
arc(r_0013_0034__executing,z_0013_5021,arg0).
arc(r_0013_0036__given,r_0013_0035__a_r_0013_0037__buffer,inv_arg1).
arc(r_0013_0036__given,z_0013_5023___star_,arg0).
arc(r_0013_0043__providing,r_0013_0042__thus,nim).
arc(r_0013_0043__providing,r_0013_0044__programmability,arg1).
arc(r_0013_0043__providing,z_0013_5021,arg0).
arc(z_0013_5025,r_0013_0034__executing,scope).
arc(z_0013_5025,r_0013_0043__providing,restriction).


%3 r_0013_0003__CTSS_r_0013_0004__qed CTSS qed r_0013_0001__Ken Ken r_0013_0003__CTSS_r_0013_0004__qed->r_0013_0001__Ken [gen] r_0013_0005__adopted adopted r_0013_0005__adopted->r_0013_0003__CTSS_r_0013_0004__qed [arg0] r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one the Berkeley one r_0013_0005__adopted->r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one from [nim] r_0013_0029__and and r_0013_0005__adopted->r_0013_0029__and [arg1] r_0013_0010__the_r_0013_0011__notion the notion r_0013_0029__and->r_0013_0010__the_r_0013_0011__notion [conj1] r_0013_0031__the_r_0013_0032__idea the idea r_0013_0029__and->r_0013_0031__the_r_0013_0032__idea [conj2] r_0013_0014__buffers buffers r_0013_0010__the_r_0013_0011__notion->r_0013_0014__buffers of r_0013_0016__edit edit r_0013_0010__the_r_0013_0011__notion->r_0013_0016__edit inv_nim r_0013_0022__move move r_0013_0010__the_r_0013_0011__notion->r_0013_0022__move inv_nim r_0013_0024__copy copy r_0013_0010__the_r_0013_0011__notion->r_0013_0024__copy inv_nim r_0013_0013__multiple multiple r_0013_0014__buffers->r_0013_0013__multiple [attrib] r_0013_0018__files files r_0013_0016__edit->r_0013_0018__files [arg1] r_0013_0019__simultaneously simultaneously r_0013_0016__edit->r_0013_0019__simultaneously [nim] z_0013_5006 r_0013_0016__edit->z_0013_5006 [arg0] r_0013_0017__several several r_0013_0018__files->r_0013_0017__several [attrib] r_0013_0020__and and r_0013_0020__and->r_0013_0016__edit [conj1] r_0013_0023__and and r_0013_0020__and->r_0013_0023__and [conj2] r_0013_0023__and->r_0013_0022__move [conj1] r_0013_0023__and->r_0013_0024__copy [conj2] r_0013_0022__move->r_0013_0018__files among [clr] r_0013_0022__move->z_0013_5006 [arg0] r_0013_0025__text text r_0013_0022__move->r_0013_0025__text [arg1] r_0013_0024__copy->r_0013_0018__files among [clr] r_0013_0024__copy->z_0013_5006 [arg0] r_0013_0024__copy->r_0013_0025__text [arg1] r_0013_0030__also also r_0013_0031__the_r_0013_0032__idea->r_0013_0030__also [qual] z_0013_5025 r_0013_0031__the_r_0013_0032__idea->z_0013_5025 of r_0013_0034__executing executing z_0013_5025->r_0013_0034__executing [conj2] r_0013_0043__providing providing z_0013_5025->r_0013_0043__providing [conj1] r_0013_0035__a_r_0013_0037__buffer a buffer r_0013_0034__executing->r_0013_0035__a_r_0013_0037__buffer [arg1] r_0013_0039__editor_r_0013_0040__commands editor commands r_0013_0034__executing->r_0013_0039__editor_r_0013_0040__commands as [nim] z_0013_5021 r_0013_0034__executing->z_0013_5021 [arg0] r_0013_0036__given given r_0013_0035__a_r_0013_0037__buffer->r_0013_0036__given [inv_arg1] z_0013_5023___star_ * r_0013_0036__given->z_0013_5023___star_ [arg0] r_0013_0043__providing->z_0013_5021 [arg0] r_0013_0042__thus thus r_0013_0043__providing->r_0013_0042__thus [nim] r_0013_0044__programmability programmability r_0013_0043__providing->r_0013_0044__programmability [arg1] 
fof(formula,axiom,
    ? [R_0013_0001__KEN,R_0013_0003__CTSS_R_0013_0004__QED,R_0013_0007__THE_R_0013_0008__BERKELEY_R_0013_0009__ONE,R_0013_0013__MULTIPLE,R_0013_0014__BUFFERS,R_0013_0017__SEVERAL,R_0013_0018__FILES,R_0013_0019__SIMULTANEOUSLY,Z_0013_5006,R_0013_0016__EDIT,R_0013_0025__TEXT,R_0013_0022__MOVE,R_0013_0024__COPY,R_0013_0010__THE_R_0013_0011__NOTION,R_0013_0030__ALSO,Z_0013_5023___STAR_,R_0013_0036__GIVEN,R_0013_0035__A_R_0013_0037__BUFFER,R_0013_0039__EDITOR_R_0013_0040__COMMANDS,Z_0013_5021,R_0013_0034__EXECUTING,R_0013_0042__THUS,R_0013_0044__PROGRAMMABILITY,R_0013_0043__PROVIDING,Z_0013_5025,R_0013_0031__THE_R_0013_0032__IDEA,R_0013_0029__AND,R_0013_0005__ADOPTED,R_0013_0023__AND,R_0013_0020__AND] :
      ( r_0013_0001__Ken(R_0013_0001__KEN)
      & r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one(R_0013_0007__THE_R_0013_0008__BERKELEY_R_0013_0009__ONE)
      & r_0013_0013__multiple(R_0013_0013__MULTIPLE)
      & r_0013_0017__several(R_0013_0017__SEVERAL)
      & r_0013_0019__simultaneously(R_0013_0019__SIMULTANEOUSLY)
      & r_0013_0025__text(R_0013_0025__TEXT)
      & r_0013_0030__also(R_0013_0030__ALSO)
      & r_0013_0039__editor_r_0013_0040__commands(R_0013_0039__EDITOR_R_0013_0040__COMMANDS)
      & r_0013_0042__thus(R_0013_0042__THUS)
      & r_0013_0044__programmability(R_0013_0044__PROGRAMMABILITY)
      & z_0013_5006(Z_0013_5006)
      & z_0013_5021(Z_0013_5021)
      & z_0013_5023___star_(Z_0013_5023___STAR_)
      & r_0013_0020__and(R_0013_0020__AND)
      & has_conj2(R_0013_0020__AND,R_0013_0023__AND)
      & r_0013_0023__and(R_0013_0023__AND)
      & has_conj2(R_0013_0023__AND,R_0013_0024__COPY)
      & r_0013_0024__copy(R_0013_0024__COPY)
      & has_arg0(R_0013_0024__COPY,Z_0013_5006)
      & has_arg1(R_0013_0024__COPY,R_0013_0025__TEXT)
      & has_r_0013_0026__among__clr(R_0013_0024__COPY,R_0013_0018__FILES)
      & r_0013_0018__files(R_0013_0018__FILES)
      & has_attrib(R_0013_0018__FILES,R_0013_0017__SEVERAL)
      & has_conj1(R_0013_0023__AND,R_0013_0022__MOVE)
      & r_0013_0022__move(R_0013_0022__MOVE)
      & has_arg0(R_0013_0022__MOVE,Z_0013_5006)
      & has_arg1(R_0013_0022__MOVE,R_0013_0025__TEXT)
      & has_r_0013_0026__among__clr(R_0013_0022__MOVE,R_0013_0018__FILES)
      & has_conj1(R_0013_0020__AND,R_0013_0016__EDIT)
      & r_0013_0016__edit(R_0013_0016__EDIT)
      & has_arg0(R_0013_0016__EDIT,Z_0013_5006)
      & has_nim(R_0013_0016__EDIT,R_0013_0019__SIMULTANEOUSLY)
      & has_arg1(R_0013_0016__EDIT,R_0013_0018__FILES)
      & r_0013_0005__adopted(R_0013_0005__ADOPTED)
      & has_arg1(R_0013_0005__ADOPTED,R_0013_0029__AND)
      & r_0013_0029__and(R_0013_0029__AND)
      & has_conj2(R_0013_0029__AND,R_0013_0031__THE_R_0013_0032__IDEA)
      & r_0013_0031__the_r_0013_0032__idea(R_0013_0031__THE_R_0013_0032__IDEA)
      & has_r_0013_0033__of(R_0013_0031__THE_R_0013_0032__IDEA,Z_0013_5025)
      & z_0013_5025(Z_0013_5025)
      & has_conj1(Z_0013_5025,R_0013_0043__PROVIDING)
      & r_0013_0043__providing(R_0013_0043__PROVIDING)
      & has_arg0(R_0013_0043__PROVIDING,Z_0013_5021)
      & has_arg1(R_0013_0043__PROVIDING,R_0013_0044__PROGRAMMABILITY)
      & has_nim(R_0013_0043__PROVIDING,R_0013_0042__THUS)
      & has_conj2(Z_0013_5025,R_0013_0034__EXECUTING)
      & r_0013_0034__executing(R_0013_0034__EXECUTING)
      & has_arg0(R_0013_0034__EXECUTING,Z_0013_5021)
      & has_r_0013_0038__as__nim(R_0013_0034__EXECUTING,R_0013_0039__EDITOR_R_0013_0040__COMMANDS)
      & has_arg1(R_0013_0034__EXECUTING,R_0013_0035__A_R_0013_0037__BUFFER)
      & r_0013_0035__a_r_0013_0037__buffer(R_0013_0035__A_R_0013_0037__BUFFER)
      & has_inv_arg1(R_0013_0035__A_R_0013_0037__BUFFER,R_0013_0036__GIVEN)
      & r_0013_0036__given(R_0013_0036__GIVEN)
      & has_arg0(R_0013_0036__GIVEN,Z_0013_5023___STAR_)
      & has_qual(R_0013_0031__THE_R_0013_0032__IDEA,R_0013_0030__ALSO)
      & has_conj1(R_0013_0029__AND,R_0013_0010__THE_R_0013_0011__NOTION)
      & ~ ( has_inv_nim(R_0013_0010__THE_R_0013_0011__NOTION,R_0013_0024__COPY)
          & has_inv_nim(R_0013_0010__THE_R_0013_0011__NOTION,R_0013_0022__MOVE)
          & has_inv_nim(R_0013_0010__THE_R_0013_0011__NOTION,R_0013_0016__EDIT)
          & has_r_0013_0012__of(R_0013_0010__THE_R_0013_0011__NOTION,R_0013_0014__BUFFERS)
          & r_0013_0014__buffers(R_0013_0014__BUFFERS)
          & has_attrib(R_0013_0014__BUFFERS,R_0013_0013__MULTIPLE) )
      & has_r_0013_0006__from__nim(R_0013_0005__ADOPTED,R_0013_0007__THE_R_0013_0008__BERKELEY_R_0013_0009__ONE)
      & has_arg0(R_0013_0005__ADOPTED,R_0013_0003__CTSS_R_0013_0004__QED)
      & r_0013_0003__CTSS_r_0013_0004__qed(R_0013_0003__CTSS_R_0013_0004__QED)
      & has_gen(R_0013_0003__CTSS_R_0013_0004__QED,R_0013_0001__KEN) ) ).