Context                Previous, Next                Top


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 r_0003_0005__and and r_0003_0004__ed ed r_0003_0005__and->r_0003_0004__ed [conj1] r_0003_0006__vi vi r_0003_0005__and->r_0003_0006__vi [conj2] r_0003_0011__used used r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors The text editors r_0003_0011__used->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg1] r_0003_0008__still still r_0003_0011__used->r_0003_0008__still [nim] r_0003_0009__much much r_0003_0011__used->r_0003_0009__much [nim] r_0003_0013__Unix_r_0003_0014__systems Unix systems r_0003_0011__used->r_0003_0013__Unix_r_0003_0014__systems on [nim] r_0003_0015__and_r_0003_0016__elsewhere and elsewhere r_0003_0011__used->r_0003_0015__and_r_0003_0016__elsewhere [nim] z_000_3_a_history_of_qed_24 r_0003_0011__used->z_000_3_a_history_of_qed_24 [arg0] r_0003_0018__have have r_0003_0018__have->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] r_0003_0019__a_r_0003_0021__history a history r_0003_0018__have->r_0003_0019__a_r_0003_0021__history [arg1] r_0003_0020__long long r_0003_0019__a_r_0003_0021__history->r_0003_0020__long [attrib] r_0003_0023__some_r_0003_0024__bits some bits r_0003_0023__some_r_0003_0024__bits->r_0003_0019__a_r_0003_0021__history of r_0003_0027__are are r_0003_0028__recounted recounted r_0003_0027__are->r_0003_0028__recounted [scope] r_0003_0028__recounted->r_0003_0023__some_r_0003_0024__bits [arg1] r_0003_0029__here here r_0003_0028__recounted->r_0003_0029__here [nim] z_000_3_a_history_of_qed_78 r_0003_0028__recounted->z_000_3_a_history_of_qed_78 [arg0] z_000_3_a_history_of_qed_9 z_000_3_a_history_of_qed_9->r_0003_0005__and [prd] z_000_3_a_history_of_qed_9->r_0003_0001__The_r_0003_0002__text_r_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, nim26).
arc(r_0003_0011__used, r_0003_0009__much, nim29).
arc(r_0003_0011__used, r_0003_0013__Unix_r_0003_0014__systems, r_0003_0012__on_nim39).
arc(r_0003_0011__used, r_0003_0015__and_r_0003_0016__elsewhere, nim44).
arc(r_0003_0011__used, z_000_3_a_history_of_qed_24, arg0).
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, attrib56).
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, scope).
arc(r_0003_0028__recounted, r_0003_0023__some_r_0003_0024__bits, arg1).
arc(r_0003_0028__recounted, r_0003_0029__here, nim82).
arc(r_0003_0028__recounted, z_000_3_a_history_of_qed_78, arg0).
arc(z_000_3_a_history_of_qed_9, r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors, arg0).
arc(z_000_3_a_history_of_qed_9, r_0003_0005__and, prd).


%3 r_0003_0005__and and r_0003_0004__ed ed r_0003_0005__and->r_0003_0004__ed [conj1] r_0003_0006__vi vi r_0003_0005__and->r_0003_0006__vi [conj2] r_0003_0011__used used r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors The text editors r_0003_0011__used->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg1] r_0003_0008__still still r_0003_0011__used->r_0003_0008__still [nim] r_0003_0009__much much r_0003_0011__used->r_0003_0009__much [nim] r_0003_0013__Unix_r_0003_0014__systems Unix systems r_0003_0011__used->r_0003_0013__Unix_r_0003_0014__systems on [nim] r_0003_0015__and_r_0003_0016__elsewhere and elsewhere r_0003_0011__used->r_0003_0015__and_r_0003_0016__elsewhere [nim] z_000_3_a_history_of_qed_24 r_0003_0011__used->z_000_3_a_history_of_qed_24 [arg0] r_0003_0018__have have r_0003_0018__have->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] r_0003_0019__a_r_0003_0021__history a history r_0003_0018__have->r_0003_0019__a_r_0003_0021__history [arg1] r_0003_0020__long long r_0003_0019__a_r_0003_0021__history->r_0003_0020__long [attrib] r_0003_0023__some_r_0003_0024__bits some bits r_0003_0023__some_r_0003_0024__bits->r_0003_0019__a_r_0003_0021__history of r_0003_0027__are_r_0003_0028__recounted are recounted r_0003_0027__are_r_0003_0028__recounted->r_0003_0023__some_r_0003_0024__bits [arg1] r_0003_0029__here here r_0003_0027__are_r_0003_0028__recounted->r_0003_0029__here [nim] z_000_3_a_history_of_qed_78 r_0003_0027__are_r_0003_0028__recounted->z_000_3_a_history_of_qed_78 [arg0] z_000_3_a_history_of_qed_9 z_000_3_a_history_of_qed_9->r_0003_0005__and [prd] z_000_3_a_history_of_qed_9->r_0003_0001__The_r_0003_0002__text_r_0003_0003__editors [arg0] 
fof(formula,axiom,
    ? [R_3_11_USED,Z_3_A_HISTORY_OF_QED_24,R_3_8_STILL,R_3_9_MUCH,R_3_15_AND_ELSEWHERE,R_3_13_UNIX_SYSTEMS,R_3_18_HAVE,R_3_27_ARE_RECOUNTED,Z_3_A_HISTORY_OF_QED_78,R_3_23_SOME_BITS,R_3_19_A_HISTORY,R_3_20_LONG,R_3_29_HERE,Z_3_A_HISTORY_OF_QED_9,R_3_1_THE_TEXT_EDITORS,R_3_5_AND,R_3_4_ED,R_3_6_VI] :
      ( still(R_3_8_STILL)
      & much(R_3_9_MUCH)
      & and_elsewhere(R_3_15_AND_ELSEWHERE)
      & unix_systems(R_3_13_UNIX_SYSTEMS)
      & long(R_3_20_LONG)
      & here(R_3_29_HERE)
      & the_text_editors(R_3_1_THE_TEXT_EDITORS)
      & ed(R_3_4_ED)
      & vi(R_3_6_VI)
      & used(R_3_11_USED,Z_3_A_HISTORY_OF_QED_24,R_3_1_THE_TEXT_EDITORS)
      & nim26(R_3_11_USED,R_3_8_STILL)
      & nim29(R_3_11_USED,R_3_9_MUCH)
      & nim44(R_3_11_USED,R_3_15_AND_ELSEWHERE)
      & on_nim39(R_3_11_USED,R_3_13_UNIX_SYSTEMS)
      & have(R_3_18_HAVE,R_3_1_THE_TEXT_EDITORS,R_3_19_A_HISTORY)
      & a_history(R_3_19_A_HISTORY)
      & attrib56(R_3_19_A_HISTORY,R_3_20_LONG)
      & are_recounted(R_3_27_ARE_RECOUNTED,Z_3_A_HISTORY_OF_QED_78,R_3_23_SOME_BITS)
      & some_bits(R_3_23_SOME_BITS)
      & of(R_3_23_SOME_BITS,R_3_19_A_HISTORY)
      & nim82(R_3_27_ARE_RECOUNTED,R_3_29_HERE)
      & z_3_a_history_of_qed_9(Z_3_A_HISTORY_OF_QED_9,R_3_1_THE_TEXT_EDITORS,R_3_5_AND)
      & and(R_3_5_AND)
      & conj1(R_3_5_AND,R_3_4_ED)
      & conj2(R_3_5_AND,R_3_6_VI) ) ).


n3_a_history_of_qed n3_a_history_of_qed_4 The n3_a_history_of_qed_6 text n3_a_history_of_qed_8 editors n3_a_history_of_qed_14 ed n3_a_history_of_qed_17 and n3_a_history_of_qed_20 vi n3_a_history_of_qed_22 , n3_a_history_of_qed_25 * n3_a_history_of_qed_28 still n3_a_history_of_qed_31 much n3_a_history_of_qed_33 - n3_a_history_of_qed_35 used n3_a_history_of_qed_38 on n3_a_history_of_qed_41 Unix n3_a_history_of_qed_43 systems n3_a_history_of_qed_46 and n3_a_history_of_qed_48 elsewhere n3_a_history_of_qed_50 , n3_a_history_of_qed_52 have n3_a_history_of_qed_55 a n3_a_history_of_qed_58 long n3_a_history_of_qed_60 history n3_a_history_of_qed_62 , n3_a_history_of_qed_66 some n3_a_history_of_qed_68 bits n3_a_history_of_qed_71 of n3_a_history_of_qed_74 which n3_a_history_of_qed_76 are n3_a_history_of_qed_79 * n3_a_history_of_qed_81 recounted n3_a_history_of_qed_84 here n3_a_history_of_qed_86 . n3_a_history_of_qed_1 IP-MAT n3_a_history_of_qed_2 NP-SBJ n3_a_history_of_qed_1->n3_a_history_of_qed_2 n3_a_history_of_qed_49 PUNC n3_a_history_of_qed_1->n3_a_history_of_qed_49 n3_a_history_of_qed_51 HVP;_Tn_ n3_a_history_of_qed_1->n3_a_history_of_qed_51 n3_a_history_of_qed_53 NP-OB1 n3_a_history_of_qed_1->n3_a_history_of_qed_53 n3_a_history_of_qed_85 PUNC n3_a_history_of_qed_1->n3_a_history_of_qed_85 n3_a_history_of_qed_3 D n3_a_history_of_qed_2->n3_a_history_of_qed_3 n3_a_history_of_qed_5 N n3_a_history_of_qed_2->n3_a_history_of_qed_5 n3_a_history_of_qed_7 NS n3_a_history_of_qed_2->n3_a_history_of_qed_7 n3_a_history_of_qed_9 IP-PPL n3_a_history_of_qed_2->n3_a_history_of_qed_9 n3_a_history_of_qed_21 PUNC n3_a_history_of_qed_2->n3_a_history_of_qed_21 n3_a_history_of_qed_23 IP-PPL n3_a_history_of_qed_2->n3_a_history_of_qed_23 n3_a_history_of_qed_3->n3_a_history_of_qed_4 n3_a_history_of_qed_5->n3_a_history_of_qed_6 n3_a_history_of_qed_7->n3_a_history_of_qed_8 n3_a_history_of_qed_10 NP-PRD n3_a_history_of_qed_9->n3_a_history_of_qed_10 n3_a_history_of_qed_11 NLYR n3_a_history_of_qed_10->n3_a_history_of_qed_11 n3_a_history_of_qed_12 NLYR n3_a_history_of_qed_11->n3_a_history_of_qed_12 n3_a_history_of_qed_15 CONJP n3_a_history_of_qed_11->n3_a_history_of_qed_15 n3_a_history_of_qed_13 NPR n3_a_history_of_qed_12->n3_a_history_of_qed_13 n3_a_history_of_qed_13->n3_a_history_of_qed_14 n3_a_history_of_qed_16 CONJ n3_a_history_of_qed_15->n3_a_history_of_qed_16 n3_a_history_of_qed_18 NLYR n3_a_history_of_qed_15->n3_a_history_of_qed_18 n3_a_history_of_qed_16->n3_a_history_of_qed_17 n3_a_history_of_qed_19 NPR n3_a_history_of_qed_18->n3_a_history_of_qed_19 n3_a_history_of_qed_19->n3_a_history_of_qed_20 n3_a_history_of_qed_21->n3_a_history_of_qed_22 n3_a_history_of_qed_24 NP-LGS n3_a_history_of_qed_23->n3_a_history_of_qed_24 n3_a_history_of_qed_26 ADVP-NIM n3_a_history_of_qed_23->n3_a_history_of_qed_26 n3_a_history_of_qed_29 ADVP-NIM n3_a_history_of_qed_23->n3_a_history_of_qed_29 n3_a_history_of_qed_32 PUNC n3_a_history_of_qed_23->n3_a_history_of_qed_32 n3_a_history_of_qed_34 VVN;_Tn_ n3_a_history_of_qed_23->n3_a_history_of_qed_34 n3_a_history_of_qed_36 PP-NIM n3_a_history_of_qed_23->n3_a_history_of_qed_36 n3_a_history_of_qed_44 ADVP-NIM n3_a_history_of_qed_23->n3_a_history_of_qed_44 n3_a_history_of_qed_24->n3_a_history_of_qed_25 n3_a_history_of_qed_27 ADV n3_a_history_of_qed_26->n3_a_history_of_qed_27 n3_a_history_of_qed_27->n3_a_history_of_qed_28 n3_a_history_of_qed_30 ADV n3_a_history_of_qed_29->n3_a_history_of_qed_30 n3_a_history_of_qed_30->n3_a_history_of_qed_31 n3_a_history_of_qed_32->n3_a_history_of_qed_33 n3_a_history_of_qed_34->n3_a_history_of_qed_35 n3_a_history_of_qed_37 P-ROLE n3_a_history_of_qed_36->n3_a_history_of_qed_37 n3_a_history_of_qed_39 NP n3_a_history_of_qed_36->n3_a_history_of_qed_39 n3_a_history_of_qed_37->n3_a_history_of_qed_38 n3_a_history_of_qed_40 NPR n3_a_history_of_qed_39->n3_a_history_of_qed_40 n3_a_history_of_qed_42 NS n3_a_history_of_qed_39->n3_a_history_of_qed_42 n3_a_history_of_qed_40->n3_a_history_of_qed_41 n3_a_history_of_qed_42->n3_a_history_of_qed_43 n3_a_history_of_qed_45 CONJ n3_a_history_of_qed_44->n3_a_history_of_qed_45 n3_a_history_of_qed_47 ADV n3_a_history_of_qed_44->n3_a_history_of_qed_47 n3_a_history_of_qed_45->n3_a_history_of_qed_46 n3_a_history_of_qed_47->n3_a_history_of_qed_48 n3_a_history_of_qed_49->n3_a_history_of_qed_50 n3_a_history_of_qed_51->n3_a_history_of_qed_52 n3_a_history_of_qed_54 D n3_a_history_of_qed_53->n3_a_history_of_qed_54 n3_a_history_of_qed_56 ADJP n3_a_history_of_qed_53->n3_a_history_of_qed_56 n3_a_history_of_qed_59 N n3_a_history_of_qed_53->n3_a_history_of_qed_59 n3_a_history_of_qed_61 PUNC n3_a_history_of_qed_53->n3_a_history_of_qed_61 n3_a_history_of_qed_63 IP-REL n3_a_history_of_qed_53->n3_a_history_of_qed_63 n3_a_history_of_qed_54->n3_a_history_of_qed_55 n3_a_history_of_qed_57 ADJ n3_a_history_of_qed_56->n3_a_history_of_qed_57 n3_a_history_of_qed_57->n3_a_history_of_qed_58 n3_a_history_of_qed_59->n3_a_history_of_qed_60 n3_a_history_of_qed_61->n3_a_history_of_qed_62 n3_a_history_of_qed_64 NP-SBJ n3_a_history_of_qed_63->n3_a_history_of_qed_64 n3_a_history_of_qed_75 BEP;_cat_VePASS_ n3_a_history_of_qed_63->n3_a_history_of_qed_75 n3_a_history_of_qed_77 IP-PPL-CAT n3_a_history_of_qed_63->n3_a_history_of_qed_77 n3_a_history_of_qed_65 D n3_a_history_of_qed_64->n3_a_history_of_qed_65 n3_a_history_of_qed_67 NS n3_a_history_of_qed_64->n3_a_history_of_qed_67 n3_a_history_of_qed_69 PP n3_a_history_of_qed_64->n3_a_history_of_qed_69 n3_a_history_of_qed_65->n3_a_history_of_qed_66 n3_a_history_of_qed_67->n3_a_history_of_qed_68 n3_a_history_of_qed_70 P-ROLE n3_a_history_of_qed_69->n3_a_history_of_qed_70 n3_a_history_of_qed_72 NP n3_a_history_of_qed_69->n3_a_history_of_qed_72 n3_a_history_of_qed_70->n3_a_history_of_qed_71 n3_a_history_of_qed_73 RPRO n3_a_history_of_qed_72->n3_a_history_of_qed_73 n3_a_history_of_qed_73->n3_a_history_of_qed_74 n3_a_history_of_qed_75->n3_a_history_of_qed_76 n3_a_history_of_qed_78 NP-LGS n3_a_history_of_qed_77->n3_a_history_of_qed_78 n3_a_history_of_qed_80 VVN;_Tn_ n3_a_history_of_qed_77->n3_a_history_of_qed_80 n3_a_history_of_qed_82 ADVP-NIM n3_a_history_of_qed_77->n3_a_history_of_qed_82 n3_a_history_of_qed_78->n3_a_history_of_qed_79 n3_a_history_of_qed_80->n3_a_history_of_qed_81 n3_a_history_of_qed_83 ADV n3_a_history_of_qed_82->n3_a_history_of_qed_83 n3_a_history_of_qed_83->n3_a_history_of_qed_84 n3_a_history_of_qed_85->n3_a_history_of_qed_86 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N text;{text})
                  (NS editors;{editor})
                  (IP-PPL (NP-PRD (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 <hyphen>)
                          (VVN;_Tn_ used;{use})
                          (PP-NIM (P-ROLE on;{on})
                                  (NP (NPR Unix;{Unix})
                                      (NS systems;{system})))
                          (ADVP-NIM (CONJ and;{and})
                                    (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_VePASS_ are;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_Tn_ recounted;{recount})
                                      (ADVP-NIM (ADV here;{here})))))
          (PUNC .))
  (ID 3_a_history_of_qed))