Context                Previous, Next                Top


4_a_history_of_qed
The QED text editor was first written by Butler Lampson and Peter Deutsch for the Berkeley time - sharing system on the SDS 940 ; see their paper in C. ACM 10 <num> 12 ( December , 1967 ) .

%3 0004_0005__was_0004_0007__written was_written 0004_0001__The_0004_0002__QED_0004_0003__text_0004_0004__editor the_qed_text_editor 0004_0005__was_0004_0007__written->0004_0001__The_0004_0002__QED_0004_0003__text_0004_0004__editor [arg1] 0004_0006__first first 0004_0005__was_0004_0007__written->0004_0006__first [tmp] 0004_0011__and and 0004_0005__was_0004_0007__written->0004_0011__and by[lgs] 0004_0015__the_0004_0016__Berkeley_0004_0017__time_0004_0019__sharing_0004_0020__system the_berkeley_time_sharing_system 0004_0005__was_0004_0007__written->0004_0015__the_0004_0016__Berkeley_0004_0017__time_0004_0019__sharing_0004_0020__system for[bnf] z_0004_1006 [imperative] 0004_0005__was_0004_0007__written->z_0004_1006 [prn_comment] 0004_0009__Butle0004_0010__Lampson butler_lampson 0004_0011__and->0004_0009__Butle0004_0010__Lampson [conj1] 0004_0012__Pete0004_0013__Deutsch peter_deutsch 0004_0011__and->0004_0012__Pete0004_0013__Deutsch [conj2] 0004_0022__the_0004_0023__SDS_0004_0024__940 the_sds_940 0004_0015__the_0004_0016__Berkeley_0004_0017__time_0004_0019__sharing_0004_0020__system->0004_0022__the_0004_0023__SDS_0004_0024__940 on 0004_0026__see see z_0004_1006->0004_0026__see [scope] 0004_0028__paper paper 0004_0026__see->0004_0028__paper [arg1] 0004_0027__their their 0004_0028__paper->0004_0027__their [genv] 0004_0030__C._ACM_10__num__12 c._acm_10__num__12 0004_0028__paper->0004_0030__C._ACM_10__num__12 in 0004_0032__Decembe0004_0034__1967 december_1967 0004_0032__Decembe0004_0034__1967->0004_0030__C._ACM_10__num__12 [prn] 
arc(r_0004_0005__was_r_0004_0007__written,r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor,arg1).
arc(r_0004_0005__was_r_0004_0007__written,r_0004_0006__first,tmp).
arc(r_0004_0005__was_r_0004_0007__written,r_0004_0011__and,r_0004_0008__by__lgs).
arc(r_0004_0005__was_r_0004_0007__written,r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system,r_0004_0014__for__bnf).
arc(r_0004_0005__was_r_0004_0007__written,z_0004_1006__imperative,prn_comment).
arc(r_0004_0011__and,r_0004_0009__Butler_r_0004_0010__Lampson,conj1).
arc(r_0004_0011__and,r_0004_0012__Peter_r_0004_0013__Deutsch,conj2).
arc(r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system,r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940,r_0004_0021__on).
arc(r_0004_0026__see,r_0004_0028__paper,arg1).
arc(r_0004_0028__paper,r_0004_0027__their,genv).
arc(r_0004_0028__paper,r_0004_0030__C_dot__ACM_10__num__12,r_0004_0029__in).
arc(r_0004_0032__December_r_0004_0034__1967,r_0004_0030__C_dot__ACM_10__num__12,prn).
arc(z_0004_1006__imperative,r_0004_0026__see,keep_scope).

IP-MAT NP-SBJ D The NPR QED N text N editor BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * ADVP-TMP ADV first VVN written PP-LGS P-ROLE by NP NLYR NP NPR Butler NPR Lampson CONJP CONJ and NP NPR Peter NPR Deutsch PP-BNF P-ROLE for NP D the NPR Berkeley NLYR N time PUNC - N sharing N system PP P-ROLE on NP D the NPR SDS NUM 940 PUNC ; PRN IP-IMP VB see NP-OB1 NP-GENV PRO;_genm_ their N paper PP P-ROLE in NP NPR C._ACM_10_<num>_12 PULB -LRB- PRN NP NPR December PUNC , NPR 1967 PURB -RRB- PUNC . 
( (IP-MAT (NP-SBJ;{BERKELEY_QED} (D The;{the})
                                 (NPR QED;{QED})
                                 (N text;{text})
                                 (N editor;{editor}))
          (BED;~cat_Ve_passive_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-TMP (ADV first;{first}))
                      (VVN written;{write})
                      (PP-LGS (P-ROLE by;{by})
                              (NP;{LAMPSON+DEUTSCH} (NLYR (NP (NPR Butler;{Butler})
                                                              (NPR Lampson;{Lampson}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NP (NPR Peter;{Peter})
                                                                     (NPR Deutsch;{Deutsch}))))))
                      (PP-BNF (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (NPR Berkeley;{Berkeley})
                                  (NLYR (N time;{time})
                                        (PUNC -)
                                        (N sharing;{sharing}))
                                  (N system;{system})
                                  (PP (P-ROLE on;{on})
                                      (NP (D the;{the})
                                          (NPR SDS;{SDS})
                                          (NUM 940))))))
          (PUNC ;)
          (PRN (IP-IMP (VB see;{see})
                       (NP-OB1 (NP-GENV;{LAMPSON+DEUTSCH} (PRO;_genm_ their;{their}))
                               (N paper;{paper})
                               (PP (P-ROLE in;{in})
                                   (NP (NPR C<dot>_ACM_10_<num>_12)
                                       (PULB -LRB-)
                                       (PRN (NP (NPR December;{December})
                                                (PUNC ,)
                                                (NPR 1967)))
                                       (PURB -RRB-))))))
          (PUNC .))
  (ID 4_a_history_of_qed))