48_a_history_of_qed
It 's available for FTP in both Unix and Windows versions ; search for “ sam editor ” on netlib .

%3 0048_0002__'s 's 0048_0001__It it 0048_0002__'s->0048_0001__It [arg0] 0048_0003__available available 0048_0002__'s->0048_0003__available [prd2] z_0048_1009 [imperative] 0048_0002__'s->z_0048_1009 [prn_comment] 0048_0005__FTP ftp 0048_0003__available->0048_0005__FTP for 0048_0011__versions versions 0048_0003__available->0048_0011__versions in 0048_0013__search search z_0048_1009->0048_0013__search [scope] 0048_0007__both_0048_0009__and both_and 0048_0011__versions->0048_0007__both_0048_0009__and [nlyr] 0048_0008__Unix unix 0048_0007__both_0048_0009__and->0048_0008__Unix [conj1] 0048_0010__Windows windows 0048_0007__both_0048_0009__and->0048_0010__Windows [conj2] 0048_0016__sam_0048_0017__editor sam_editor 0048_0013__search->0048_0016__sam_0048_0017__editor for[clr] 0048_0020__netlib netlib 0048_0013__search->0048_0020__netlib on[loc]
arc(r_0048_0002___apos_s,r_0048_0001__It,arg0).
arc(r_0048_0002___apos_s,r_0048_0003__available,prd2).
arc(r_0048_0002___apos_s,z_0048_1009__imperative,prn_comment).
arc(r_0048_0003__available,r_0048_0005__FTP,r_0048_0004__for).
arc(r_0048_0003__available,r_0048_0011__versions,r_0048_0006__in).
arc(r_0048_0007__both_r_0048_0009__and,r_0048_0008__Unix,conj1).
arc(r_0048_0007__both_r_0048_0009__and,r_0048_0010__Windows,conj2).
arc(r_0048_0011__versions,r_0048_0007__both_r_0048_0009__and,nlyr).
arc(r_0048_0013__search,r_0048_0016__sam_r_0048_0017__editor,r_0048_0014__for__clr).
arc(r_0048_0013__search,r_0048_0020__netlib,r_0048_0019__on__loc).
arc(z_0048_1009__imperative,r_0048_0013__search,keep_scope).


IP-MAT NP-SBJ PRO It BEP;~La 's ADJP-PRD2 ADJ available PP P-ROLE for NP N FTP PP P-ROLE in NP NLYR NLYR CONJ both NP NPR Unix CONJP CONJ and NP NPR Windows NS versions PUNC ; PRN IP-IMP VB search PP-CLR P-ROLE for NP PULQ NPR sam N editor PURQ PP-LOC P-ROLE on NP NPR netlib PUNC .
( (IP-MAT (NP-SBJ;{SAM} (PRO It;{it}))
          (BEP;~La <apos>s;{be})
          (ADJP-PRD2 (ADJ available;{available})
                     (PP (P-ROLE for;{for})
                         (NP (N FTP;{ftp})))
                     (PP (P-ROLE in;{in})
                         (NP (NLYR (NLYR (CONJ both;{both})
                                         (NP (NPR Unix;{Unix}))
                                         (CONJP (CONJ and;{and})
                                                (NP (NPR Windows;{Windows})))))
                             (NS versions;{version}))))
          (PUNC ;)
          (PRN (IP-IMP (VB search;{search})
                       (PP-CLR (P-ROLE for;{for})
                               (NP (PULQ <ldquo>)
                                   (NPR sam;{sam})
                                   (N editor;{editor})
                                   (PURQ <rdquo>)))
                       (PP-LOC (P-ROLE on;{on})
                               (NP (NPR netlib;{netlib})))))
          (PUNC .))
  (ID 48_a_history_of_qed))