Context                Previous, Next                Top


55_a_history_of_qed
Indeed, there have been many approximate reimplementations of ed, including a basic and didactic one by Kernighan and Plauger in Software Tools (1976), and eventually the expectable GNU version; there seems also to be a “more user - friendly” rendition called bole.

%3 0055_0004__have have 0055_0001__Indeed Indeed 0055_0004__have->0055_0001__Indeed [nim] 0055_0005__been been 0055_0004__have->0055_0005__been [scope] 0055_0008__reimplementations reimplementations 0055_0005__been->0055_0008__reimplementations [arg0] 0055_0006__many many 0055_0008__reimplementations->0055_0006__many [attrib] 0055_0007__approximate approximate 0055_0008__reimplementations->0055_0007__approximate [attrib] 0055_0010__ed ed 0055_0008__reimplementations->0055_0010__ed of 0055_0029__and and 0055_0008__reimplementations->0055_0029__and 0055_0013__a_17__one a_one 0055_0029__and->0055_0013__a_17__one [conj1] 0055_0031__the_33__GNU_34__version the_GNU_version 0055_0029__and->0055_0031__the_33__GNU_34__version [conj2] 0055_0015__and and 0055_0013__a_17__one->0055_0015__and [attrib] 0055_0020__and and 0055_0013__a_17__one->0055_0020__and by 0055_0023__Software_24__Tools Software_Tools 0055_0013__a_17__one->0055_0023__Software_24__Tools in 0055_0014__basic basic 0055_0015__and->0055_0014__basic [conj1] 0055_0016__didactic didactic 0055_0015__and->0055_0016__didactic [conj2] 0055_0019__Kernighan Kernighan 0055_0020__and->0055_0019__Kernighan [conj1] 0055_0021__Plauger Plauger 0055_0020__and->0055_0021__Plauger [conj2] 0055_0030__eventually eventually 0055_0031__the_33__GNU_34__version->0055_0030__eventually [qual] 0055_0032__expectable expectable 0055_0031__the_33__GNU_34__version->0055_0032__expectable [attrib] 0055_0037__seems seems 0055_0038__also also 0055_0037__seems->0055_0038__also [nim] 0055_0040__be be 0055_0037__seems->0055_0040__be [scope] 0055_0049__called called 0055_0040__be->0055_0049__called [scope] 0055_0041__a_48__rendition a_rendition 0055_0049__called->0055_0041__a_48__rendition [arg1] 0055_0050__bole bole 0055_0049__called->0055_0050__bole [prd] 0055_5030___star_ * 0055_0049__called->0055_5030___star_ [arg0] 0055_0046__friendly friendly 0055_0041__a_48__rendition->0055_0046__friendly [attrib] 0055_0043__more more 0055_0046__friendly->0055_0043__more [qual] 0055_5003 0055_5003->0055_0004__have [conj1] 0055_5003->0055_0037__seems [conj2] 0055_5017 0055_5017->0055_0023__Software_24__Tools [arg0] 0055_0026__1976 1976 0055_5017->0055_0026__1976 [prd] 
arc(r_0055_0004__have,r_0055_0001__Indeed,nim).
arc(r_0055_0004__have,r_0055_0005__been,scope).
arc(r_0055_0005__been,r_0055_0008__reimplementations,arg0).
arc(r_0055_0008__reimplementations,r_0055_0006__many,attrib).
arc(r_0055_0008__reimplementations,r_0055_0007__approximate,attrib).
arc(r_0055_0008__reimplementations,r_0055_0010__ed,r_0055_0009__of).
arc(r_0055_0008__reimplementations,r_0055_0029__and,z_0055_5010).
arc(r_0055_0013__a_r_0055_0017__one,r_0055_0015__and,attrib).
arc(r_0055_0013__a_r_0055_0017__one,r_0055_0020__and,r_0055_0018__by).
arc(r_0055_0013__a_r_0055_0017__one,r_0055_0023__Software_r_0055_0024__Tools,r_0055_0022__in).
arc(r_0055_0015__and,r_0055_0014__basic,conj1).
arc(r_0055_0015__and,r_0055_0016__didactic,conj2).
arc(r_0055_0020__and,r_0055_0019__Kernighan,conj1).
arc(r_0055_0020__and,r_0055_0021__Plauger,conj2).
arc(r_0055_0029__and,r_0055_0013__a_r_0055_0017__one,conj1).
arc(r_0055_0029__and,r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version,conj2).
arc(r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version,r_0055_0030__eventually,qual).
arc(r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version,r_0055_0032__expectable,attrib).
arc(r_0055_0037__seems,r_0055_0038__also,nim).
arc(r_0055_0037__seems,r_0055_0040__be,scope).
arc(r_0055_0040__be,r_0055_0049__called,scope).
arc(r_0055_0041__a_r_0055_0048__rendition,r_0055_0046__friendly,attrib).
arc(r_0055_0046__friendly,r_0055_0043__more,qual).
arc(r_0055_0049__called,r_0055_0041__a_r_0055_0048__rendition,arg1).
arc(r_0055_0049__called,r_0055_0050__bole,prd).
arc(r_0055_0049__called,z_0055_5030___star_,arg0).
arc(z_0055_5003,r_0055_0004__have,conj1).
arc(z_0055_5003,r_0055_0037__seems,conj2).
arc(z_0055_5017,r_0055_0023__Software_r_0055_0024__Tools,arg0).
arc(z_0055_5017,r_0055_0026__1976,prd).

n55_a_history_of_qed n55_a_history_of_qed__1_1_1_1_1_1 Indeed n55_a_history_of_qed__1_1_1_2_1 , n55_a_history_of_qed__1_1_1_3_1 there n55_a_history_of_qed__1_1_1_4_1 have n55_a_history_of_qed__1_1_1_5_1_1 been n55_a_history_of_qed__1_1_1_5_2_1_1_1 many n55_a_history_of_qed__1_1_1_5_2_2_1_1 approximate n55_a_history_of_qed__1_1_1_5_2_3_1 reimplementations n55_a_history_of_qed__1_1_1_5_2_4_1_1 of n55_a_history_of_qed__1_1_1_5_2_4_2_1_1 ed n55_a_history_of_qed__1_1_1_5_2_5_1 , n55_a_history_of_qed__1_1_1_5_2_6_1_1 including n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1_1 a n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1_1 basic n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1_1 and n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1_1 didactic n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3_1 one n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1_1 by n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1_1 Kernighan n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1_1 and n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1_1 Plauger n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1_1 in n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1_1 Software n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2_1 Tools n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3_1 -LRB- n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1_1 1976 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5_1 -RRB- n55_a_history_of_qed__1_1_1_5_2_6_2_1_2_1 , n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1_1 and n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1_1 eventually n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2_1 the n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1_1 expectable n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4_1 GNU n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5_1 version n55_a_history_of_qed__1_1_2_1 ; n55_a_history_of_qed__1_1_3_1_1_1 there n55_a_history_of_qed__1_1_3_1_2_1 seems n55_a_history_of_qed__1_1_3_1_3_1_1 also n55_a_history_of_qed__1_1_3_1_4_1_1 to n55_a_history_of_qed__1_1_3_1_4_2_1 be n55_a_history_of_qed__1_1_3_1_4_3_1_1 a n55_a_history_of_qed__1_1_3_1_4_3_2_1 <ldquo> n55_a_history_of_qed__1_1_3_1_4_3_3_1_1_1 more n55_a_history_of_qed__1_1_3_1_4_3_3_2_1 user n55_a_history_of_qed__1_1_3_1_4_3_3_3_1 - n55_a_history_of_qed__1_1_3_1_4_3_3_4_1 friendly n55_a_history_of_qed__1_1_3_1_4_3_4_1 <rdquo> n55_a_history_of_qed__1_1_3_1_4_3_5_1 rendition n55_a_history_of_qed__1_1_3_1_4_4_1_1 * n55_a_history_of_qed__1_1_3_1_4_4_2_1 called n55_a_history_of_qed__1_1_3_1_4_4_3_1_1 bole n55_a_history_of_qed__1_2_1 . n55_a_history_of_qed__1 IP-MAT n55_a_history_of_qed__1_1 ILYR n55_a_history_of_qed__1->n55_a_history_of_qed__1_1 n55_a_history_of_qed__1_2 PUNC n55_a_history_of_qed__1->n55_a_history_of_qed__1_2 n55_a_history_of_qed__1_1_1 ILYR n55_a_history_of_qed__1_1->n55_a_history_of_qed__1_1_1 n55_a_history_of_qed__1_1_2 PUNC n55_a_history_of_qed__1_1->n55_a_history_of_qed__1_1_2 n55_a_history_of_qed__1_1_3 CONJP n55_a_history_of_qed__1_1->n55_a_history_of_qed__1_1_3 n55_a_history_of_qed__1_1_1_1 ADVP-NIM n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_1 n55_a_history_of_qed__1_1_1_2 PUNC n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_2 n55_a_history_of_qed__1_1_1_3 EX n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_3 n55_a_history_of_qed__1_1_1_4 HVP;~cat_Ve n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_4 n55_a_history_of_qed__1_1_1_5 IP-PPL-CAT n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_5 n55_a_history_of_qed__1_1_1_1_1 ADV n55_a_history_of_qed__1_1_1_1->n55_a_history_of_qed__1_1_1_1_1 n55_a_history_of_qed__1_1_1_1_1->n55_a_history_of_qed__1_1_1_1_1_1 n55_a_history_of_qed__1_1_1_2->n55_a_history_of_qed__1_1_1_2_1 n55_a_history_of_qed__1_1_1_3->n55_a_history_of_qed__1_1_1_3_1 n55_a_history_of_qed__1_1_1_4->n55_a_history_of_qed__1_1_1_4_1 n55_a_history_of_qed__1_1_1_5_1 BEN;~ex_V n55_a_history_of_qed__1_1_1_5->n55_a_history_of_qed__1_1_1_5_1 n55_a_history_of_qed__1_1_1_5_2 NP-ESBJ n55_a_history_of_qed__1_1_1_5->n55_a_history_of_qed__1_1_1_5_2 n55_a_history_of_qed__1_1_1_5_1->n55_a_history_of_qed__1_1_1_5_1_1 n55_a_history_of_qed__1_1_1_5_2_1 ADJP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_1 n55_a_history_of_qed__1_1_1_5_2_2 ADJP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_2 n55_a_history_of_qed__1_1_1_5_2_3 NS n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_3 n55_a_history_of_qed__1_1_1_5_2_4 PP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_4 n55_a_history_of_qed__1_1_1_5_2_5 PUNC n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_5 n55_a_history_of_qed__1_1_1_5_2_6 PP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6 n55_a_history_of_qed__1_1_1_5_2_1_1 ADJ n55_a_history_of_qed__1_1_1_5_2_1->n55_a_history_of_qed__1_1_1_5_2_1_1 n55_a_history_of_qed__1_1_1_5_2_1_1->n55_a_history_of_qed__1_1_1_5_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_2_1 ADJ n55_a_history_of_qed__1_1_1_5_2_2->n55_a_history_of_qed__1_1_1_5_2_2_1 n55_a_history_of_qed__1_1_1_5_2_2_1->n55_a_history_of_qed__1_1_1_5_2_2_1_1 n55_a_history_of_qed__1_1_1_5_2_3->n55_a_history_of_qed__1_1_1_5_2_3_1 n55_a_history_of_qed__1_1_1_5_2_4_1 P-ROLE n55_a_history_of_qed__1_1_1_5_2_4->n55_a_history_of_qed__1_1_1_5_2_4_1 n55_a_history_of_qed__1_1_1_5_2_4_2 NP n55_a_history_of_qed__1_1_1_5_2_4->n55_a_history_of_qed__1_1_1_5_2_4_2 n55_a_history_of_qed__1_1_1_5_2_4_1->n55_a_history_of_qed__1_1_1_5_2_4_1_1 n55_a_history_of_qed__1_1_1_5_2_4_2_1 NPR n55_a_history_of_qed__1_1_1_5_2_4_2->n55_a_history_of_qed__1_1_1_5_2_4_2_1 n55_a_history_of_qed__1_1_1_5_2_4_2_1->n55_a_history_of_qed__1_1_1_5_2_4_2_1_1 n55_a_history_of_qed__1_1_1_5_2_5->n55_a_history_of_qed__1_1_1_5_2_5_1 n55_a_history_of_qed__1_1_1_5_2_6_1 VAG;~ n55_a_history_of_qed__1_1_1_5_2_6->n55_a_history_of_qed__1_1_1_5_2_6_1 n55_a_history_of_qed__1_1_1_5_2_6_2 NP n55_a_history_of_qed__1_1_1_5_2_6->n55_a_history_of_qed__1_1_1_5_2_6_2 n55_a_history_of_qed__1_1_1_5_2_6_1->n55_a_history_of_qed__1_1_1_5_2_6_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_2 PUNC n55_a_history_of_qed__1_1_1_5_2_6_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3 CONJP n55_a_history_of_qed__1_1_1_5_2_6_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1 D n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2 ADJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3 N n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4 PP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5 PP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1 AJLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1 AJLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2 CONJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1 ADJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1 CONJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2 AJLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1 ADJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1 P-ROLE n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2 NP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2 CONJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1 CONJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1 P-ROLE n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2 NP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2 NPRS n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3 PULB n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4 PRN n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5 PURB n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1 NP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1 CONJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1 ADVP n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2 D n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3 ADJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5 N n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1 ADV n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1 ADJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5_1 n55_a_history_of_qed__1_1_2->n55_a_history_of_qed__1_1_2_1 n55_a_history_of_qed__1_1_3_1 ILYR n55_a_history_of_qed__1_1_3->n55_a_history_of_qed__1_1_3_1 n55_a_history_of_qed__1_1_3_1_1 EX n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_1 n55_a_history_of_qed__1_1_3_1_2 VBP;~cat_Vt n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_2 n55_a_history_of_qed__1_1_3_1_3 ADVP-NIM n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_3 n55_a_history_of_qed__1_1_3_1_4 IP-INF-CAT n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_4 n55_a_history_of_qed__1_1_3_1_1->n55_a_history_of_qed__1_1_3_1_1_1 n55_a_history_of_qed__1_1_3_1_2->n55_a_history_of_qed__1_1_3_1_2_1 n55_a_history_of_qed__1_1_3_1_3_1 ADV n55_a_history_of_qed__1_1_3_1_3->n55_a_history_of_qed__1_1_3_1_3_1 n55_a_history_of_qed__1_1_3_1_3_1->n55_a_history_of_qed__1_1_3_1_3_1_1 n55_a_history_of_qed__1_1_3_1_4_1 TO n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_1 n55_a_history_of_qed__1_1_3_1_4_2 BE;~ex_cat_Ve_passive_ n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_2 n55_a_history_of_qed__1_1_3_1_4_3 NP-ESBJ n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_3 n55_a_history_of_qed__1_1_3_1_4_4 IP-PPL-CAT n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_4 n55_a_history_of_qed__1_1_3_1_4_1->n55_a_history_of_qed__1_1_3_1_4_1_1 n55_a_history_of_qed__1_1_3_1_4_2->n55_a_history_of_qed__1_1_3_1_4_2_1 n55_a_history_of_qed__1_1_3_1_4_3_1 D n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_1 n55_a_history_of_qed__1_1_3_1_4_3_2 PULQ n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_2 n55_a_history_of_qed__1_1_3_1_4_3_3 ADJP n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_3 n55_a_history_of_qed__1_1_3_1_4_3_4 PURQ n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_4 n55_a_history_of_qed__1_1_3_1_4_3_5 N n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_5 n55_a_history_of_qed__1_1_3_1_4_3_1->n55_a_history_of_qed__1_1_3_1_4_3_1_1 n55_a_history_of_qed__1_1_3_1_4_3_2->n55_a_history_of_qed__1_1_3_1_4_3_2_1 n55_a_history_of_qed__1_1_3_1_4_3_3_1 ADVP n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_1 n55_a_history_of_qed__1_1_3_1_4_3_3_2 N n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_2 n55_a_history_of_qed__1_1_3_1_4_3_3_3 PUNC n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_3 n55_a_history_of_qed__1_1_3_1_4_3_3_4 ADJ n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_4 n55_a_history_of_qed__1_1_3_1_4_3_3_1_1 ADVR n55_a_history_of_qed__1_1_3_1_4_3_3_1->n55_a_history_of_qed__1_1_3_1_4_3_3_1_1 n55_a_history_of_qed__1_1_3_1_4_3_3_1_1->n55_a_history_of_qed__1_1_3_1_4_3_3_1_1_1 n55_a_history_of_qed__1_1_3_1_4_3_3_2->n55_a_history_of_qed__1_1_3_1_4_3_3_2_1 n55_a_history_of_qed__1_1_3_1_4_3_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_3_1 n55_a_history_of_qed__1_1_3_1_4_3_3_4->n55_a_history_of_qed__1_1_3_1_4_3_3_4_1 n55_a_history_of_qed__1_1_3_1_4_3_4->n55_a_history_of_qed__1_1_3_1_4_3_4_1 n55_a_history_of_qed__1_1_3_1_4_3_5->n55_a_history_of_qed__1_1_3_1_4_3_5_1 n55_a_history_of_qed__1_1_3_1_4_4_1 NP-LGS n55_a_history_of_qed__1_1_3_1_4_4->n55_a_history_of_qed__1_1_3_1_4_4_1 n55_a_history_of_qed__1_1_3_1_4_4_2 VVN;~Cn.n n55_a_history_of_qed__1_1_3_1_4_4->n55_a_history_of_qed__1_1_3_1_4_4_2 n55_a_history_of_qed__1_1_3_1_4_4_3 NP-PRD n55_a_history_of_qed__1_1_3_1_4_4->n55_a_history_of_qed__1_1_3_1_4_4_3 n55_a_history_of_qed__1_1_3_1_4_4_1->n55_a_history_of_qed__1_1_3_1_4_4_1_1 n55_a_history_of_qed__1_1_3_1_4_4_2->n55_a_history_of_qed__1_1_3_1_4_4_2_1 n55_a_history_of_qed__1_1_3_1_4_4_3_1 NPR n55_a_history_of_qed__1_1_3_1_4_4_3->n55_a_history_of_qed__1_1_3_1_4_4_3_1 n55_a_history_of_qed__1_1_3_1_4_4_3_1->n55_a_history_of_qed__1_1_3_1_4_4_3_1_1 n55_a_history_of_qed__1_2->n55_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Indeed;{indeed}))
                      (PUNC ,)
                      (EX there;{there})
                      (HVP;~cat_Ve have;{have})
                      (IP-PPL-CAT (BEN;~ex_V been;{be})
                                  (NP-ESBJ (ADJP (ADJ many;{many}))
                                           (ADJP (ADJ approximate;{approximate}))
                                           (NS reimplementations;{reimplementations})
                                           (PP (P-ROLE of;{of})
                                               (NP;{STANDARD_ED} (NPR ed;{ed})))
                                           (PUNC ,)
                                           (PP (VAG;~ including;{include})
                                               (NP (NLYR (NLYR (D a;{a})
                                                               (ADJP (AJLYR (AJLYR (ADJ basic;{basic}))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (AJLYR (ADJ didactic;{didactic})))))
                                                               (N one;{one})
                                                               (PP (P-ROLE by;{by})
                                                                   (NP (NLYR (NLYR (NPR Kernighan;{Kernighan}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (NLYR (NPR Plauger;{Plauger}))))))
                                                               (PP (P-ROLE in;{in})
                                                                   (NP (NPR Software;{Software})
                                                                       (NPRS Tools;{Tools})
                                                                       (PULB -LRB-)
                                                                       (PRN (NP (NPR 1976)))
                                                                       (PURB -RRB-))))
                                                         (PUNC ,)
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (ADVP (ADV eventually;{eventually}))
                                                                      (D the;{the})
                                                                      (ADJP (ADJ expectable;{expectable}))
                                                                      (NPR GNU;{GNU})
                                                                      (N version;{version})))))))))
                (PUNC ;)
                (CONJP (ILYR (EX there;{there})
                             (VBP;~cat_Vt seems;{seem})
                             (ADVP-NIM (ADV also;{also}))
                             (IP-INF-CAT (TO to;{to})
                                         (BE;~ex_cat_Ve_passive_ be;{be})
                                         (NP-ESBJ (D a;{a})
                                                  (PULQ <ldquo>)
                                                  (ADJP (ADVP (ADVR more;{more}))
                                                        (N user;{user})
                                                        (PUNC <hyphen>)
                                                        (ADJ friendly;{friendly}))
                                                  (PURQ <rdquo>)
                                                  (N rendition;{rendition}))
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;~Cn.n called;{call})
                                                     (NP-PRD (NPR bole;{bole})))))))
          (PUNC .))
  (ID 55_a_history_of_qed))