3_a_history_of_qed
The text editors ed and vi , still much - used on Unix systems and elsewhere , have a long history , some bits of which are recounted here .

%3 0003_0005__and and 0003_0001__The_0003_0002__text_0003_0003__editors the_text_editors 0003_0005__and->0003_0001__The_0003_0002__text_0003_0003__editors [prn] 0003_0004__ed ed 0003_0005__and->0003_0004__ed [conj1] 0003_0006__vi vi 0003_0005__and->0003_0006__vi [conj2] 0003_0011__used used 0003_0011__used->0003_0001__The_0003_0002__text_0003_0003__editors [arg1] 0003_0008__still still 0003_0011__used->0003_0008__still [tmp] 0003_0009__much much 0003_0011__used->0003_0009__much [mnr] 0003_0015__and and 0003_0011__used->0003_0015__and [nim] 0003_0013__Unix_0003_0014__systems unix_systems 0003_0015__and->0003_0013__Unix_0003_0014__systems on[loc] 0003_0018__have have 0003_0018__have->0003_0001__The_0003_0002__text_0003_0003__editors [arg0] 0003_0019__a_0003_0021__history a_history 0003_0018__have->0003_0019__a_0003_0021__history [arg1] 0003_0020__long long 0003_0019__a_0003_0021__history->0003_0020__long [attrib] 0003_0023__some_0003_0024__bits some_bits 0003_0023__some_0003_0024__bits->0003_0019__a_0003_0021__history of 0003_0027__are_0003_0028__recounted are_recounted 0003_0027__are_0003_0028__recounted->0003_0023__some_0003_0024__bits [arg1] 0003_0029__here here 0003_0027__are_0003_0028__recounted->0003_0029__here [loc]
arc(r_0003_0005__and,r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors,prn).
arc(r_0003_0005__and,r_0003_0004__ed,conj1).
arc(r_0003_0005__and,r_0003_0006__vi,conj2).
arc(r_0003_0011__used,r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors,arg1).
arc(r_0003_0011__used,r_0003_0008__still,tmp).
arc(r_0003_0011__used,r_0003_0009__much,mnr).
arc(r_0003_0011__used,r_0003_0015__and,nim).
arc(r_0003_0015__and,r_0003_0013__Unix_r_0003_0014__systems,r_0003_0012__on__loc).
arc(r_0003_0018__have,r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors,arg0).
arc(r_0003_0018__have,r_0003_0019__a_r_0003_0021__history,arg1).
arc(r_0003_0019__a_r_0003_0021__history,r_0003_0020__long,attrib).
arc(r_0003_0023__some_r_0003_0024__bits,r_0003_0019__a_r_0003_0021__history,r_0003_0025__of).
arc(r_0003_0027__are_r_0003_0028__recounted,r_0003_0023__some_r_0003_0024__bits,arg1).
arc(r_0003_0027__are_r_0003_0028__recounted,r_0003_0029__here,loc).


IP-MAT NP-SBJ D The N text NS editors PRN NP NLYR NP NPR ed CONJP CONJ and NP NPR vi PUNC , IP-PPL NP-LGS * ADVP-TMP ADV still ADVP-MNR ADV much PUNC - VVN used PP-NIM PP-LOC P-ROLE on NP NPR Unix NS systems CONJP CONJ and ADVP ADV elsewhere PUNC , HVP;~Tn have NP-OB1 D a ADJP ADJ long N history PUNC , IP-REL NP-SBJ D some NS bits PP P-ROLE of NP RPRO which BEP;~cat_Ve_passive_ are IP-PPL-CAT NP-LGS * VVN;~Tn recounted ADVP-LOC ADV here PUNC .
( (IP-MAT (NP-SBJ (D The;{the})
                  (N text;{text})
                  (NS editors;{editor})
                  (PRN (NP (NLYR (NP (NPR ed;{ed}))
                                 (CONJP (CONJ and;{and})
                                        (NP (NPR vi;{vi}))))))
                  (PUNC ,)
                  (IP-PPL (NP-LGS *)
                          (ADVP-TMP (ADV still;{still}))
                          (ADVP-MNR (ADV much;{much}))
                          (PUNC -)
                          (VVN used;{use})
                          (PP-NIM (PP-LOC (P-ROLE on;{on})
                                          (NP (NPR Unix;{Unix})
                                              (NS systems;{system})))
                                  (CONJP (CONJ and;{and})
                                         (ADVP (ADV elsewhere;{elsewhere}))))))
          (PUNC ,)
          (HVP;~Tn have;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ long;{long}))
                  (N history;{history})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (D some;{some})
                                  (NS bits;{bit})
                                  (PP (P-ROLE of;{of})
                                      (NP (RPRO which;{which}))))
                          (BEP;~cat_Ve_passive_ are;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;~Tn recounted;{recount})
                                      (ADVP-LOC (ADV here;{here})))))
          (PUNC .))
  (ID 3_a_history_of_qed))