31_a_history_of_qed
It seems that this version ( or perhaps another reimplementation ) was released : I have the first few pages of a document , courtesy of Joshua Ryan , that were used as “ TSO Short Course Notes ” at University of Missouri -- Columbia .

%3 0031_0002__seems seems 0031_0012__was_0031_0013__released was_released 0031_0002__seems->0031_0012__was_0031_0013__released [argn0] 0031_0007__o0031_0008__perhaps or_perhaps 0031_0012__was_0031_0013__released->0031_0007__o0031_0008__perhaps [arg1] 0031_0004__this_0031_0005__version this_version 0031_0007__o0031_0008__perhaps->0031_0004__this_0031_0005__version [conj1] 0031_0009__anothe0031_0010__reimplementation another_reimplementation 0031_0007__o0031_0008__perhaps->0031_0009__anothe0031_0010__reimplementation [conj2] 0031_0016__have have 0031_0015__I I 0031_0016__have->0031_0015__I [arg0] 0031_0017__the_0031_0020__pages the_pages 0031_0016__have->0031_0017__the_0031_0020__pages [arg1] 0031_0018__first first 0031_0017__the_0031_0020__pages->0031_0018__first [attrib] 0031_0019__few few 0031_0017__the_0031_0020__pages->0031_0019__few [attrib] 0031_0022__a_0031_0023__document a_document 0031_0017__the_0031_0020__pages->0031_0022__a_0031_0023__document of 0031_0025__courtesy courtesy 0031_0025__courtesy->0031_0017__the_0031_0020__pages [prn] 0031_0027__Joshua_0031_0028__Ryan joshua_ryan 0031_0025__courtesy->0031_0027__Joshua_0031_0028__Ryan of 0031_0031__were_0031_0032__used were_used 0031_0031__were_0031_0032__used->0031_0017__the_0031_0020__pages [arg1] 0031_0038__Notes notes 0031_0031__were_0031_0032__used->0031_0038__Notes as[prd] 0031_0041__University university 0031_0031__were_0031_0032__used->0031_0041__University at[loc] 0031_0035__TSO_0031_0036__Short_0031_0037__Course tso_short_course 0031_0038__Notes->0031_0035__TSO_0031_0036__Short_0031_0037__Course [nlyr] 0031_0043__Missouri missouri 0031_0041__University->0031_0043__Missouri of 0031_0045__Columbia columbia 0031_0045__Columbia->0031_0043__Missouri [prn] z_0031_1001 _ z_0031_1001->0031_0002__seems [conj1] z_0031_1001->0031_0016__have [conj2]
arc(r_0031_0002__seems,r_0031_0012__was_r_0031_0013__released,argn0).
arc(r_0031_0007__or_r_0031_0008__perhaps,r_0031_0004__this_r_0031_0005__version,conj1).
arc(r_0031_0007__or_r_0031_0008__perhaps,r_0031_0009__another_r_0031_0010__reimplementation,conj2).
arc(r_0031_0012__was_r_0031_0013__released,r_0031_0007__or_r_0031_0008__perhaps,arg1).
arc(r_0031_0016__have,r_0031_0015__I,arg0).
arc(r_0031_0016__have,r_0031_0017__the_r_0031_0020__pages,arg1).
arc(r_0031_0017__the_r_0031_0020__pages,r_0031_0018__first,attrib).
arc(r_0031_0017__the_r_0031_0020__pages,r_0031_0019__few,attrib).
arc(r_0031_0017__the_r_0031_0020__pages,r_0031_0022__a_r_0031_0023__document,r_0031_0021__of).
arc(r_0031_0025__courtesy,r_0031_0017__the_r_0031_0020__pages,prn).
arc(r_0031_0025__courtesy,r_0031_0027__Joshua_r_0031_0028__Ryan,r_0031_0026__of).
arc(r_0031_0031__were_r_0031_0032__used,r_0031_0017__the_r_0031_0020__pages,arg1).
arc(r_0031_0031__were_r_0031_0032__used,r_0031_0038__Notes,r_0031_0033__as__prd).
arc(r_0031_0031__were_r_0031_0032__used,r_0031_0041__University,r_0031_0040__at__loc).
arc(r_0031_0038__Notes,r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course,nlyr).
arc(r_0031_0041__University,r_0031_0043__Missouri,r_0031_0042__of).
arc(r_0031_0045__Columbia,r_0031_0043__Missouri,prn).
arc(z_0031_1001,r_0031_0002__seems,coord_conj1).
arc(z_0031_1001,r_0031_0016__have,coord_conj2).


IP-MAT ILYR ILYR NP-SBJ PRO;_provisional_ It VBP seems CP-THT-NSBJ IP-SUB C that NP-SBJ NLYR NP D this N version PULB -LRB- CONJP CONJ or ADVP-MOD ADV perhaps NP D another N reimplementation PURB -RRB- BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * VVN released PUNC : CONJP ILYR NP-SBJ PRO I HVP;~Tn have NP-OB1 D the ADJP ADJ first ADJP ADJ few NS pages PP P-ROLE of NP D a N document PUNC , PRN NP N courtesy PP P-ROLE of NP NPR Joshua NPR Ryan PUNC , IP-REL NP-SBJ RPRO that BED;~cat_Ve_passive_ were IP-PPL-CAT NP-LGS * VVN;~Cn.n/a used PP-PRD P-ROLE as PULQ NP NLYR NPR TSO NLYR NPR Short NPR Course NPRS Notes PURQ PP-LOC P-ROLE at NP NPR University PP P-ROLE of NP NPR Missouri PUNC -- PRN NP NPR Columbia PUNC .
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (VBP seems;{seem})
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (NLYR (NP;{TSO_QED} (D this;{this})
                                                                       (N version;{version}))
                                                         (PULB -LRB-)
                                                         (CONJP (CONJ or;{or})
                                                                (ADVP-MOD (ADV perhaps;{perhaps}))
                                                                (NP (D another;{another})
                                                                    (N reimplementation;{reimplementation})))
                                                         (PURB -RRB-)))
                                           (BED;~cat_Ve_passive_ was;{be})
                                           (IP-PPL-CAT (NP-LGS *)
                                                       (VVN released;{release})))))
                (PUNC :)
                (CONJP (ILYR (NP-SBJ (PRO I;{I}))
                             (HVP;~Tn have;{have})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ first;{first}))
                                     (ADJP (ADJ few;{few}))
                                     (NS pages;{page})
                                     (PP (P-ROLE of;{of})
                                         (NP;{BQED_NOTES} (D a;{a})
                                                          (N document;{document})))
                                     (PUNC ,)
                                     (PRN (NP (N courtesy;{courtesy})
                                              (PP (P-ROLE of;{of})
                                                  (NP;{JOSHUA_RYAN} (NPR Joshua;{Joshua})
                                                                    (NPR Ryan;{Ryan})))))
                                     (PUNC ,)
                                     (IP-REL (NP-SBJ (RPRO that;{that}))
                                             (BED;~cat_Ve_passive_ were;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (VVN;~Cn.n/a used;{use[as]})
                                                         (PP-PRD (P-ROLE as;{as})
                                                                 (PULQ <ldquo>)
                                                                 (NP (NLYR (NPR TSO;{TSO})
                                                                           (NLYR (NPR Short;{Short})
                                                                                 (NPR Course;{Course})))
                                                                     (NPRS Notes;{Notes}))
                                                                 (PURQ <rdquo>))
                                                         (PP-LOC (P-ROLE at;{at})
                                                                 (NP (NPR University;{University})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (NPR Missouri;{Missouri})
                                                                             (PUNC --)
                                                                             (PRN (NP (NPR Columbia;{Columbia})))))))))))))
          (PUNC .))
  (ID 31_a_history_of_qed))