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.

%3 0013_0003__CTSS_4__qed CTSS_qed 0013_0001__Ken Ken 0013_0003__CTSS_4__qed->0013_0001__Ken [gen] 0013_0005__adopted adopted 0013_0005__adopted->0013_0003__CTSS_4__qed [arg0] 0013_0007__the_8__Berkeley_9__one the_Berkeley_one 0013_0005__adopted->0013_0007__the_8__Berkeley_9__one from[nim] 0013_0029__and_30__also and_also 0013_0005__adopted->0013_0029__and_30__also [arg1] 0013_0010__the_11__notion the_notion 0013_0029__and_30__also->0013_0010__the_11__notion [conj1] 0013_0031__the_32__idea the_idea 0013_0029__and_30__also->0013_0031__the_32__idea [conj2] 0013_0014__buffers buffers 0013_0010__the_11__notion->0013_0014__buffers of 0013_0013__multiple multiple 0013_0014__buffers->0013_0013__multiple [attrib] 0013_0016__edit edit 0013_0016__edit->0013_0010__the_11__notion [inv][nim] 0013_0018__files files 0013_0016__edit->0013_0018__files [arg1] 0013_0019__simultaneously simultaneously 0013_0016__edit->0013_0019__simultaneously [nim] 0013_5006 0013_0016__edit->0013_5006 [arg0] 0013_0017__several several 0013_0018__files->0013_0017__several [attrib] 0013_0020__and and 0013_0020__and->0013_0016__edit [conj1] 0013_0023__and and 0013_0020__and->0013_0023__and [conj2] 0013_0022__move move 0013_0023__and->0013_0022__move [conj1] 0013_0024__copy copy 0013_0023__and->0013_0024__copy [conj2] 0013_0022__move->0013_0010__the_11__notion [inv][nim] 0013_0022__move->0013_0018__files among[clr] 0013_0022__move->0013_5006 [arg0] 0013_0025__text text 0013_0022__move->0013_0025__text [arg1] 0013_0024__copy->0013_0010__the_11__notion [inv][nim] 0013_0024__copy->0013_0018__files among[clr] 0013_0024__copy->0013_5006 [arg0] 0013_0024__copy->0013_0025__text [arg1] 0013_1001____star__ _*_ 0013_0031__the_32__idea->0013_1001____star__ of 0013_0034__executing executing 0013_1001____star__->0013_0034__executing [scope] 0013_0043__providing providing 0013_1001____star__->0013_0043__providing [restriction] 0013_0034__executing->0013_1001____star__ [arg0] 0013_0035__a_37__buffer a_buffer 0013_0034__executing->0013_0035__a_37__buffer [arg1] 0013_0039__editor_40__commands editor_commands 0013_0034__executing->0013_0039__editor_40__commands as[nim] 0013_0036__given given 0013_0036__given->0013_0035__a_37__buffer [inv][arg1] 0013_5020___star_ * 0013_0036__given->0013_5020___star_ [arg0] 0013_0043__providing->0013_1001____star__ [arg0] 0013_0042__thus thus 0013_0043__providing->0013_0042__thus [nim] 0013_0044__programmability programmability 0013_0043__providing->0013_0044__programmability [arg1] 
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_r_0013_0030__also,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_0030__also,r_0013_0010__the_r_0013_0011__notion,conj1).
arc(r_0013_0029__and_r_0013_0030__also,r_0013_0031__the_r_0013_0032__idea,conj2).
arc(r_0013_0031__the_r_0013_0032__idea,r_0013_1001____star__,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,r_0013_1001____star__,arg0).
arc(r_0013_0036__given,r_0013_0035__a_r_0013_0037__buffer,inv_arg1).
arc(r_0013_0036__given,z_0013_5020___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,r_0013_1001____star__,arg0).
arc(r_0013_1001____star__,r_0013_0034__executing,scope).
arc(r_0013_1001____star__,r_0013_0043__providing,restriction).

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 also n13_a_history_of_qed__1_4_1_3_3_1_1 the n13_a_history_of_qed__1_4_1_3_3_2_1 idea n13_a_history_of_qed__1_4_1_3_3_3_1_1 of n13_a_history_of_qed__1_4_1_3_3_3_2_1_1 executing n13_a_history_of_qed__1_4_1_3_3_3_2_2_1_1 a n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_1_1 * n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_2_1 given n13_a_history_of_qed__1_4_1_3_3_3_2_2_3_1 buffer n13_a_history_of_qed__1_4_1_3_3_3_2_3_1_1 as n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_1_1 editor n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_2_1 commands n13_a_history_of_qed__1_4_1_3_3_3_2_4_1 , n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1_1_1 thus n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_2_1 providing n13_a_history_of_qed__1_4_1_3_3_3_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 ADVP-NIM 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_3 NLYR n13_a_history_of_qed__1_4_1_3->n13_a_history_of_qed__1_4_1_3_3 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 ADV 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_1->n13_a_history_of_qed__1_4_1_3_2_1_1 n13_a_history_of_qed__1_4_1_3_3_1 D n13_a_history_of_qed__1_4_1_3_3->n13_a_history_of_qed__1_4_1_3_3_1 n13_a_history_of_qed__1_4_1_3_3_2 N n13_a_history_of_qed__1_4_1_3_3->n13_a_history_of_qed__1_4_1_3_3_2 n13_a_history_of_qed__1_4_1_3_3_3 PP n13_a_history_of_qed__1_4_1_3_3->n13_a_history_of_qed__1_4_1_3_3_3 n13_a_history_of_qed__1_4_1_3_3_1->n13_a_history_of_qed__1_4_1_3_3_1_1 n13_a_history_of_qed__1_4_1_3_3_2->n13_a_history_of_qed__1_4_1_3_3_2_1 n13_a_history_of_qed__1_4_1_3_3_3_1 P-ROLE n13_a_history_of_qed__1_4_1_3_3_3->n13_a_history_of_qed__1_4_1_3_3_3_1 n13_a_history_of_qed__1_4_1_3_3_3_2 IP-PPL n13_a_history_of_qed__1_4_1_3_3_3->n13_a_history_of_qed__1_4_1_3_3_3_2 n13_a_history_of_qed__1_4_1_3_3_3_1->n13_a_history_of_qed__1_4_1_3_3_3_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_1 VAG;~Tn n13_a_history_of_qed__1_4_1_3_3_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2 NP-OB1 n13_a_history_of_qed__1_4_1_3_3_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2 n13_a_history_of_qed__1_4_1_3_3_3_2_3 PP-NIM n13_a_history_of_qed__1_4_1_3_3_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_3 n13_a_history_of_qed__1_4_1_3_3_3_2_4 PUNC n13_a_history_of_qed__1_4_1_3_3_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_4 n13_a_history_of_qed__1_4_1_3_3_3_2_5 PP-SCON n13_a_history_of_qed__1_4_1_3_3_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_5 n13_a_history_of_qed__1_4_1_3_3_3_2_1->n13_a_history_of_qed__1_4_1_3_3_3_2_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2_1 D n13_a_history_of_qed__1_4_1_3_3_3_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2_2 IP-PPL n13_a_history_of_qed__1_4_1_3_3_3_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2_2 n13_a_history_of_qed__1_4_1_3_3_3_2_2_3 N n13_a_history_of_qed__1_4_1_3_3_3_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2_3 n13_a_history_of_qed__1_4_1_3_3_3_2_2_1->n13_a_history_of_qed__1_4_1_3_3_3_2_2_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_1 NP-LGS n13_a_history_of_qed__1_4_1_3_3_3_2_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_2 VVN;~Tn n13_a_history_of_qed__1_4_1_3_3_3_2_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_2 n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_1->n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_2_2_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_2_3->n13_a_history_of_qed__1_4_1_3_3_3_2_2_3_1 n13_a_history_of_qed__1_4_1_3_3_3_2_3_1 P-ROLE n13_a_history_of_qed__1_4_1_3_3_3_2_3->n13_a_history_of_qed__1_4_1_3_3_3_2_3_1 n13_a_history_of_qed__1_4_1_3_3_3_2_3_2 NP n13_a_history_of_qed__1_4_1_3_3_3_2_3->n13_a_history_of_qed__1_4_1_3_3_3_2_3_2 n13_a_history_of_qed__1_4_1_3_3_3_2_3_1->n13_a_history_of_qed__1_4_1_3_3_3_2_3_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_1 N n13_a_history_of_qed__1_4_1_3_3_3_2_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_2 NS n13_a_history_of_qed__1_4_1_3_3_3_2_3_2->n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_2 n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_1->n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_2->n13_a_history_of_qed__1_4_1_3_3_3_2_3_2_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_4->n13_a_history_of_qed__1_4_1_3_3_3_2_4_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1 IP-PPL2 n13_a_history_of_qed__1_4_1_3_3_3_2_5->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1 ADVP-NIM n13_a_history_of_qed__1_4_1_3_3_3_2_5_1->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_2 VAG;~Tn n13_a_history_of_qed__1_4_1_3_3_3_2_5_1->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_2 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_3 NP-OB1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_3 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1_1 ADV n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1_1->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_1_1_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_2->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_2_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_3_1 N n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_3->n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_3_1 n13_a_history_of_qed__1_4_1_3_3_3_2_5_1_3_1->n13_a_history_of_qed__1_4_1_3_3_3_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})
                               (ADVP-NIM (ADV also;{also}))
                               (NLYR (D the;{the})
                                     (N idea;{idea})
                                     (PP (P-ROLE of;{of})
                                         (IP-PPL (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))