16_a_history_of_qed
This one was in BCPL, and instead of compiling to machine code, regular expressions were represented as trees that were interpreted by the editor.

%3 0016_0003__was_4__in was_in 0016_0001__This_2__one This_one 0016_0003__was_4__in->0016_0001__This_2__one [arg0] 0016_0005__BCPL BCPL 0016_0003__was_4__in->0016_0005__BCPL [arg1] 0016_0007__and and 0016_0007__and->0016_0003__was_4__in [conj1] 0016_0008__instead_of instead_of 0016_0007__and->0016_0008__instead_of [conj2] 0016_0009__compiling compiling 0016_0008__instead_of->0016_0009__compiling [restriction] 0016_0016__were were 0016_0008__instead_of->0016_0016__were [scope] 0016_0011__machine_12__code machine_code 0016_0009__compiling->0016_0011__machine_12__code to[nim] 0016_0015__expressions expressions 0016_0009__compiling->0016_0015__expressions [arg0] 0016_0017__represented represented 0016_0016__were->0016_0017__represented [scope] 0016_0014__regular regular 0016_0015__expressions->0016_0014__regular [attrib] 0016_0017__represented->0016_0015__expressions [arg1] 0016_0019__trees trees 0016_0017__represented->0016_0019__trees as[prd] 0016_5017___star_ * 0016_0017__represented->0016_5017___star_ [arg0] 0016_0021__were were 0016_0022__interpreted interpreted 0016_0021__were->0016_0022__interpreted [scope] 0016_0022__interpreted->0016_0019__trees [inv][arg1] 0016_0024__the_25__editor the_editor 0016_0022__interpreted->0016_0024__the_25__editor by[arg0] 0016_5014___star_ * 0016_0022__interpreted->0016_5014___star_ lgs
arc(r_0016_0003__was_r_0016_0004__in,r_0016_0001__This_r_0016_0002__one,arg0).
arc(r_0016_0003__was_r_0016_0004__in,r_0016_0005__BCPL,arg1).
arc(r_0016_0007__and,r_0016_0003__was_r_0016_0004__in,conj1).
arc(r_0016_0007__and,r_0016_0008__instead_of,conj2).
arc(r_0016_0008__instead_of,r_0016_0009__compiling,restriction).
arc(r_0016_0008__instead_of,r_0016_0016__were,scope).
arc(r_0016_0009__compiling,r_0016_0011__machine_r_0016_0012__code,r_0016_0010__to__nim).
arc(r_0016_0009__compiling,r_0016_0015__expressions,arg0).
arc(r_0016_0015__expressions,r_0016_0014__regular,attrib).
arc(r_0016_0016__were,r_0016_0017__represented,scope).
arc(r_0016_0017__represented,r_0016_0015__expressions,arg1).
arc(r_0016_0017__represented,r_0016_0019__trees,r_0016_0018__as__prd).
arc(r_0016_0017__represented,z_0016_5017___star_,arg0).
arc(r_0016_0021__were,r_0016_0022__interpreted,scope).
arc(r_0016_0022__interpreted,r_0016_0019__trees,inv_arg1).
arc(r_0016_0022__interpreted,r_0016_0024__the_r_0016_0025__editor,r_0016_0023__by_arg0).
arc(r_0016_0022__interpreted,z_0016_5014___star_,lgs).

n16_a_history_of_qed n16_a_history_of_qed__1_1_1_1_1_1 This n16_a_history_of_qed__1_1_1_1_2_1 one n16_a_history_of_qed__1_1_1_2_1 was n16_a_history_of_qed__1_1_1_3_1_1 in n16_a_history_of_qed__1_1_1_3_2_1_1 BCPL n16_a_history_of_qed__1_1_2_1 , n16_a_history_of_qed__1_1_3_1_1 and n16_a_history_of_qed__1_1_3_2_1_1_1 instead_of n16_a_history_of_qed__1_1_3_2_1_2_1_1 compiling n16_a_history_of_qed__1_1_3_2_1_2_2_1_1 to n16_a_history_of_qed__1_1_3_2_1_2_2_2_1_1 machine n16_a_history_of_qed__1_1_3_2_1_2_2_2_2_1 code n16_a_history_of_qed__1_1_3_2_2_1 , n16_a_history_of_qed__1_1_3_2_3_1_1_1 regular n16_a_history_of_qed__1_1_3_2_3_2_1 expressions n16_a_history_of_qed__1_1_3_2_4_1 were n16_a_history_of_qed__1_1_3_2_5_1_1 * n16_a_history_of_qed__1_1_3_2_5_2_1 represented n16_a_history_of_qed__1_1_3_2_5_3_1_1 as n16_a_history_of_qed__1_1_3_2_5_3_2_1_1 trees n16_a_history_of_qed__1_1_3_2_5_3_2_2_1_1 that n16_a_history_of_qed__1_1_3_2_5_3_2_2_2_1 *T* n16_a_history_of_qed__1_1_3_2_5_3_2_2_3_1 were n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_1_1 * n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_2_1 interpreted n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_1_1 by n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_1_1 the n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_2_1 editor n16_a_history_of_qed__1_2_1 . n16_a_history_of_qed__1 IP-MAT n16_a_history_of_qed__1_1 ILYR n16_a_history_of_qed__1->n16_a_history_of_qed__1_1 n16_a_history_of_qed__1_2 PUNC n16_a_history_of_qed__1->n16_a_history_of_qed__1_2 n16_a_history_of_qed__1_1_1 ILYR n16_a_history_of_qed__1_1->n16_a_history_of_qed__1_1_1 n16_a_history_of_qed__1_1_2 PUNC n16_a_history_of_qed__1_1->n16_a_history_of_qed__1_1_2 n16_a_history_of_qed__1_1_3 CONJP n16_a_history_of_qed__1_1->n16_a_history_of_qed__1_1_3 n16_a_history_of_qed__1_1_1_1 NP-SBJ n16_a_history_of_qed__1_1_1->n16_a_history_of_qed__1_1_1_1 n16_a_history_of_qed__1_1_1_2 BED;~Ipr n16_a_history_of_qed__1_1_1->n16_a_history_of_qed__1_1_1_2 n16_a_history_of_qed__1_1_1_3 PP-CLR n16_a_history_of_qed__1_1_1->n16_a_history_of_qed__1_1_1_3 n16_a_history_of_qed__1_1_1_1_1 D n16_a_history_of_qed__1_1_1_1->n16_a_history_of_qed__1_1_1_1_1 n16_a_history_of_qed__1_1_1_1_2 NUM n16_a_history_of_qed__1_1_1_1->n16_a_history_of_qed__1_1_1_1_2 n16_a_history_of_qed__1_1_1_1_1->n16_a_history_of_qed__1_1_1_1_1_1 n16_a_history_of_qed__1_1_1_1_2->n16_a_history_of_qed__1_1_1_1_2_1 n16_a_history_of_qed__1_1_1_2->n16_a_history_of_qed__1_1_1_2_1 n16_a_history_of_qed__1_1_1_3_1 P-ROLE n16_a_history_of_qed__1_1_1_3->n16_a_history_of_qed__1_1_1_3_1 n16_a_history_of_qed__1_1_1_3_2 NP n16_a_history_of_qed__1_1_1_3->n16_a_history_of_qed__1_1_1_3_2 n16_a_history_of_qed__1_1_1_3_1->n16_a_history_of_qed__1_1_1_3_1_1 n16_a_history_of_qed__1_1_1_3_2_1 NPR n16_a_history_of_qed__1_1_1_3_2->n16_a_history_of_qed__1_1_1_3_2_1 n16_a_history_of_qed__1_1_1_3_2_1->n16_a_history_of_qed__1_1_1_3_2_1_1 n16_a_history_of_qed__1_1_2->n16_a_history_of_qed__1_1_2_1 n16_a_history_of_qed__1_1_3_1 CONJ n16_a_history_of_qed__1_1_3->n16_a_history_of_qed__1_1_3_1 n16_a_history_of_qed__1_1_3_2 ILYR n16_a_history_of_qed__1_1_3->n16_a_history_of_qed__1_1_3_2 n16_a_history_of_qed__1_1_3_1->n16_a_history_of_qed__1_1_3_1_1 n16_a_history_of_qed__1_1_3_2_1 PP-SCON n16_a_history_of_qed__1_1_3_2->n16_a_history_of_qed__1_1_3_2_1 n16_a_history_of_qed__1_1_3_2_2 PUNC n16_a_history_of_qed__1_1_3_2->n16_a_history_of_qed__1_1_3_2_2 n16_a_history_of_qed__1_1_3_2_3 NP-SBJ n16_a_history_of_qed__1_1_3_2->n16_a_history_of_qed__1_1_3_2_3 n16_a_history_of_qed__1_1_3_2_4 BED;~cat_Ve_passive_ n16_a_history_of_qed__1_1_3_2->n16_a_history_of_qed__1_1_3_2_4 n16_a_history_of_qed__1_1_3_2_5 IP-PPL-CAT n16_a_history_of_qed__1_1_3_2->n16_a_history_of_qed__1_1_3_2_5 n16_a_history_of_qed__1_1_3_2_1_1 P-CONN n16_a_history_of_qed__1_1_3_2_1->n16_a_history_of_qed__1_1_3_2_1_1 n16_a_history_of_qed__1_1_3_2_1_2 IP-PPL2 n16_a_history_of_qed__1_1_3_2_1->n16_a_history_of_qed__1_1_3_2_1_2 n16_a_history_of_qed__1_1_3_2_1_1->n16_a_history_of_qed__1_1_3_2_1_1_1 n16_a_history_of_qed__1_1_3_2_1_2_1 VAG;~ n16_a_history_of_qed__1_1_3_2_1_2->n16_a_history_of_qed__1_1_3_2_1_2_1 n16_a_history_of_qed__1_1_3_2_1_2_2 PP-NIM n16_a_history_of_qed__1_1_3_2_1_2->n16_a_history_of_qed__1_1_3_2_1_2_2 n16_a_history_of_qed__1_1_3_2_1_2_1->n16_a_history_of_qed__1_1_3_2_1_2_1_1 n16_a_history_of_qed__1_1_3_2_1_2_2_1 P-ROLE n16_a_history_of_qed__1_1_3_2_1_2_2->n16_a_history_of_qed__1_1_3_2_1_2_2_1 n16_a_history_of_qed__1_1_3_2_1_2_2_2 NP n16_a_history_of_qed__1_1_3_2_1_2_2->n16_a_history_of_qed__1_1_3_2_1_2_2_2 n16_a_history_of_qed__1_1_3_2_1_2_2_1->n16_a_history_of_qed__1_1_3_2_1_2_2_1_1 n16_a_history_of_qed__1_1_3_2_1_2_2_2_1 N n16_a_history_of_qed__1_1_3_2_1_2_2_2->n16_a_history_of_qed__1_1_3_2_1_2_2_2_1 n16_a_history_of_qed__1_1_3_2_1_2_2_2_2 N n16_a_history_of_qed__1_1_3_2_1_2_2_2->n16_a_history_of_qed__1_1_3_2_1_2_2_2_2 n16_a_history_of_qed__1_1_3_2_1_2_2_2_1->n16_a_history_of_qed__1_1_3_2_1_2_2_2_1_1 n16_a_history_of_qed__1_1_3_2_1_2_2_2_2->n16_a_history_of_qed__1_1_3_2_1_2_2_2_2_1 n16_a_history_of_qed__1_1_3_2_2->n16_a_history_of_qed__1_1_3_2_2_1 n16_a_history_of_qed__1_1_3_2_3_1 ADJP n16_a_history_of_qed__1_1_3_2_3->n16_a_history_of_qed__1_1_3_2_3_1 n16_a_history_of_qed__1_1_3_2_3_2 NS n16_a_history_of_qed__1_1_3_2_3->n16_a_history_of_qed__1_1_3_2_3_2 n16_a_history_of_qed__1_1_3_2_3_1_1 ADJ n16_a_history_of_qed__1_1_3_2_3_1->n16_a_history_of_qed__1_1_3_2_3_1_1 n16_a_history_of_qed__1_1_3_2_3_1_1->n16_a_history_of_qed__1_1_3_2_3_1_1_1 n16_a_history_of_qed__1_1_3_2_3_2->n16_a_history_of_qed__1_1_3_2_3_2_1 n16_a_history_of_qed__1_1_3_2_4->n16_a_history_of_qed__1_1_3_2_4_1 n16_a_history_of_qed__1_1_3_2_5_1 NP-LGS n16_a_history_of_qed__1_1_3_2_5->n16_a_history_of_qed__1_1_3_2_5_1 n16_a_history_of_qed__1_1_3_2_5_2 VVN;~ n16_a_history_of_qed__1_1_3_2_5->n16_a_history_of_qed__1_1_3_2_5_2 n16_a_history_of_qed__1_1_3_2_5_3 PP-PRD n16_a_history_of_qed__1_1_3_2_5->n16_a_history_of_qed__1_1_3_2_5_3 n16_a_history_of_qed__1_1_3_2_5_1->n16_a_history_of_qed__1_1_3_2_5_1_1 n16_a_history_of_qed__1_1_3_2_5_2->n16_a_history_of_qed__1_1_3_2_5_2_1 n16_a_history_of_qed__1_1_3_2_5_3_1 P-ROLE n16_a_history_of_qed__1_1_3_2_5_3->n16_a_history_of_qed__1_1_3_2_5_3_1 n16_a_history_of_qed__1_1_3_2_5_3_2 NP n16_a_history_of_qed__1_1_3_2_5_3->n16_a_history_of_qed__1_1_3_2_5_3_2 n16_a_history_of_qed__1_1_3_2_5_3_1->n16_a_history_of_qed__1_1_3_2_5_3_1_1 n16_a_history_of_qed__1_1_3_2_5_3_2_1 NS n16_a_history_of_qed__1_1_3_2_5_3_2->n16_a_history_of_qed__1_1_3_2_5_3_2_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2 IP-REL n16_a_history_of_qed__1_1_3_2_5_3_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2 n16_a_history_of_qed__1_1_3_2_5_3_2_1->n16_a_history_of_qed__1_1_3_2_5_3_2_1_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_1 C n16_a_history_of_qed__1_1_3_2_5_3_2_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_2 NP-SBJ n16_a_history_of_qed__1_1_3_2_5_3_2_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_2 n16_a_history_of_qed__1_1_3_2_5_3_2_2_3 BED;~cat_Ve_passive_ n16_a_history_of_qed__1_1_3_2_5_3_2_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_3 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4 IP-PPL-CAT n16_a_history_of_qed__1_1_3_2_5_3_2_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4 n16_a_history_of_qed__1_1_3_2_5_3_2_2_1->n16_a_history_of_qed__1_1_3_2_5_3_2_2_1_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_2_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_3->n16_a_history_of_qed__1_1_3_2_5_3_2_2_3_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_1 NP-LGS n16_a_history_of_qed__1_1_3_2_5_3_2_2_4->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_2 VVN;~ n16_a_history_of_qed__1_1_3_2_5_3_2_2_4->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_2 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3 PP-LGS n16_a_history_of_qed__1_1_3_2_5_3_2_2_4->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_1->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_1_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_2_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_1 P-ROLE;_lgs_ n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2 NP n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_1->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_1_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_1 D n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_2 N n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_2 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_1->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_1_1 n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_2->n16_a_history_of_qed__1_1_3_2_5_3_2_2_4_3_2_2_1 n16_a_history_of_qed__1_2->n16_a_history_of_qed__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MULTICS_QED} (D This;{this})
                                            (NUM one;{one}))
                      (BED;~Ipr was;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (NPR BCPL;{BCPL}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN instead_of;{instead_of})
                                      (IP-PPL2 (VAG;~ compiling;{compile})
                                               (PP-NIM (P-ROLE to;{to})
                                                       (NP (N machine;{machine})
                                                           (N code;{code})))))
                             (PUNC ,)
                             (NP-SBJ (ADJP (ADJ regular;{regular}))
                                     (NS expressions;{expression}))
                             (BED;~cat_Ve_passive_ were;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;~ represented;{represent})
                                         (PP-PRD (P-ROLE as;{as})
                                                 (NP (NS trees;{tree})
                                                     (IP-REL (C that;{that})
                                                             (NP-SBJ *T*)
                                                             (BED;~cat_Ve_passive_ were;{be})
                                                             (IP-PPL-CAT (NP-LGS *)
                                                                         (VVN;~ interpreted;{interpret})
                                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                 (NP (D the;{the})
                                                                                     (N editor;{editor})))))))))))
          (PUNC .))
  (ID 16_a_history_of_qed))