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.

0003_0005__and and 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_0001__The_0003_0002__text_0003_0003__editors the_text_editors 0003_0011__used->0003_0001__The_0003_0002__text_0003_0003__editors [arg1] 0003_0008__still still 0003_0011__used->0003_0008__still [nim] 0003_0009__much much 0003_0011__used->0003_0009__much [nim] 0003_0015__and and 0003_0011__used->0003_0015__and [nim] staz_0003_5009 * 0003_0011__used->staz_0003_5009 [arg0] 0003_0013__Unix_0003_0014__systems unix_systems 0003_0015__and->0003_0013__Unix_0003_0014__systems on[nim] 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 are 0003_0028__recounted recounted 0003_0027__are->0003_0028__recounted [scope] 0003_0028__recounted->0003_0023__some_0003_0024__bits [arg1] 0003_0029__here here 0003_0028__recounted->0003_0029__here [nim] staz_0003_5016 * 0003_0028__recounted->staz_0003_5016 [arg0] z_0003_5003 _ z_0003_5003->0003_0005__and [prd] z_0003_5003->0003_0001__The_0003_0002__text_0003_0003__editors [arg0]
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,nim).
arc(r_0003_0011__used,r_0003_0009__much,nim).
arc(r_0003_0011__used,r_0003_0015__and,nim).
arc(r_0003_0011__used,star_z_0003_5009,arg0).
arc(r_0003_0015__and,r_0003_0013__Unix_r_0003_0014__systems,r_0003_0012__on__nim).
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,keep_scope).
arc(r_0003_0028__recounted,r_0003_0023__some_r_0003_0024__bits,arg1).
arc(r_0003_0028__recounted,r_0003_0029__here,nim).
arc(r_0003_0028__recounted,star_z_0003_5016,arg0).
arc(z_0003_5003,r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors,arg0).
arc(z_0003_5003,r_0003_0005__and,prd).


IP-MAT NP-SBJ D The N text NS editors PRN NP NLYR NLYR NPR ed CONJP CONJ and NLYR NPR vi PUNC , IP-PPL NP-LGS * ADVP-NIM ADV still ADVP-NIM ADV much PUNC - VVN used PP-NIM PP-NIM P-ROLE on NP NPR Unix NS systems CONJP CONJ and AVLYR 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-NIM ADV here PUNC .
( (IP-MAT (NP-SBJ (D The;{the})
                  (N text;{text})
                  (NS editors;{editor})
                  (PRN (NP (NLYR (NLYR (NPR ed;{ed}))
                                 (CONJP (CONJ and;{and})
                                        (NLYR (NPR vi;{vi}))))))
                  (PUNC ,)
                  (IP-PPL (NP-LGS *)
                          (ADVP-NIM (ADV still;{still}))
                          (ADVP-NIM (ADV much;{much}))
                          (PUNC -)
                          (VVN used;{use})
                          (PP-NIM (PP-NIM (P-ROLE on;{on})
                                          (NP (NPR Unix;{Unix})
                                              (NS systems;{system})))
                                  (CONJP (CONJ and;{and})
                                         (AVLYR (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-NIM (ADV here;{here})))))
          (PUNC .))
  (ID 3_a_history_of_qed))