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.

0016_0003__was_0016_0004__in was_in 0016_0001__This_0016_0002__one this_one 0016_0003__was_0016_0004__in->0016_0001__This_0016_0002__one [arg0] 0016_0005__BCPL bcpl 0016_0003__was_0016_0004__in->0016_0005__BCPL [arg1] 0016_0007__and and 0016_0007__and->0016_0003__was_0016_0004__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_0016_0012__code machine_code 0016_0009__compiling->0016_0011__machine_0016_0012__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] staz_0016_5015 * 0016_0017__represented->staz_0016_5015 [arg0] 0016_0021__were were 0016_0022__interpreted interpreted 0016_0021__were->0016_0022__interpreted [scope] 0016_0022__interpreted->0016_0019__trees [arg1] 0016_0024__the_0016_0025__editor the_editor 0016_0022__interpreted->0016_0024__the_0016_0025__editor by[arg0] staz_0016_5012 * 0016_0022__interpreted->staz_0016_5012 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,coord_conj1).
arc(r_0016_0007__and,r_0016_0008__instead_of,coord_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,keep_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,star_z_0016_5015,arg0).
arc(r_0016_0021__were,r_0016_0022__interpreted,keep_scope).
arc(r_0016_0022__interpreted,r_0016_0019__trees,arg1).
arc(r_0016_0022__interpreted,r_0016_0024__the_r_0016_0025__editor,r_0016_0023__by_arg0).
arc(r_0016_0022__interpreted,star_z_0016_5012,lgs).


IP-MAT ILYR ILYR NP-SBJ D This NUM one BED;~Ipr was PP-CLR P-ROLE in NP NPR BCPL PUNC , CONJP CONJ and ILYR PP-SCON P-CONN instead_of IP-PPL2 VAG compiling PP-NIM P-ROLE to NP N machine N code PUNC , NP-SBJ ADJP ADJ regular NS expressions BED;~cat_Ve_passive_ were IP-PPL-CAT NP-LGS * VVN represented PP-PRD P-ROLE as NP NS trees IP-REL C that NP-SBJ *T* BED;~cat_Ve_passive_ were IP-PPL-CAT NP-LGS * VVN interpreted PP-LGS P-ROLE;_lgs_ by NP D the N editor PUNC .
( (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))