-
Notifications
You must be signed in to change notification settings - Fork 0
sml-nj-historical/archive
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
SML/NJ Early Versions from DBM's 9-track tapes Pontis Systems in Chicago attempted to recover contents of nine 9-track tapes from Bell Labs around October 2012. Some contents was extracted from 7 of the 9 tapes. Most of the content is early versions of SML/NJ (1,2,3,4,5,6,11,22,35,36), but there are also copies of source code for Cardelli's compilers (1984) and Edinburgh Standard ML (1985). Tape1.zip Directory 36, containing SML/NJ Version 0.36, 4 July 1989 (renamed mlsave.36 for consistency). src appears to be complete. Tape2.zip Directory mlsave.22, containing mo.cps, mo.vax, and src. (SML/NJ Version 0.22, 18 Oct 1988?) src is incomplete (only absyn, basics, bignums, boot). mo contains object files corresponding to the original source files, including those that are missing. Tape contents were probably truncated. This may be the first version distributed outside BL/Princeton (or possibly Version 11 was first). Tape3.zip Directory "tape3 2" (renamed tape3). Contains: dbm : dbm home directory snapshot, Dec 1986 (dates range from Aug 83 to Dec 86) dbm/ml contains notes, comments, etc on SML design (see e.g. edin/meeting), as well as pscr, Pascal source for "ML under VAX" (dated April/May 84), BL ML course in Sept 83. ml: mlkit: Source for Pose 4.1 of Unix ML sml: Source for Edinbrugh SML (for VAX/Unix 4.2bsd) as of May 1985 "standardization" meeting news: sources for Polymorphism news letters Tape4.zip Directory "tape4 2". Contains: mlsave.4: SML/NJ Version 4, 24 September 1887 mlsave.5: SML/NJ Version 5, 2 October 1887 mlsave.6: SML/NJ Version 6, 8 October 1987 Tape5.zip tape5 - a truncated Tar archive, which unpacks to: mlsave.1: SML/NJ Version 1, 14 August 1987 mlsave.2: SML/NJ Version 2, 11 September 1987 mlsave.3: SML/NJ Version 3, 11 September 1987 (merger of Version 2 and Version 2.tyj) mlsave.4: incomplete copy of Version 4, containing only link and mo Tape6.zip Directory "tape6 2". Contains: mlprof.1: initial profiling version, between Versions 13 and 14 mlsave.11: SML/NJ Version 11, 9 November 1987 (possibly distributed?) Tape9.zip Directory 35 (renamed mlsave.35). SML/NJ Version 35, date unknown (no Version file), but probably first half of 1989 based on date of Version 36. src mo.m68 mo.vax -------------------------------------------------------------------------------- Additional material from 4 QIC tapes, read with the help of Vaughn Pratt. tape1: mlsave.20: SML/NJ Version 0.20, 13 June 1988 (src/doc/VERSION.20) mlsave.21: SML/NJ Version 0.21, 29 August 1988 (from file creation dates, no doc) mlsave.22: SML/NJ Version 0.22, 9 September 1988 (src/doc/VERSION.22) mlsave.23: SML/NJ Version 0.23, 9 November 1988 (from file creation dates, no VERSION.23) tape2: mldist.33: SML/NJ Version 0.33, 31 March 1989 (from file creation dates; src only) mldist.39: SML/NJ Version 0.39, 22 August 1989 (from file creation dates; src only) mldist.44: SML/NJ Version 0.44, 29 November 1989 (from file creation dates) mldist.53: SML/NJ Version 0.53, 21 March 1990 (from file creation dates) mldist.54: SML/NJ Version 0.54, 29 March 1990 (from file creation dates; src only) mldist.57: SML/NJ Version 0.57, 10 May 1990 (from file creation dates) mldist.59: SML/NJ Version 0.59, 4 June 1990 (doc/NEWS) mldist.60: SML/NJ Version 0.60, 13 July 1990 (doc/NEWS and file creation dates) mldist.61: SML/NJ Version 0.61, 25 July 1990 (from file creation dates) mldist.62: SML/NJ Version 0.62, 1 August 1990 (doc/NEWS) mldist.63: SML/NJ Version 0.63, 11 August 1990 (from file creation dates; src only) mldist.64: SML/NJ Version 0.64, 25 August 1990 (doc/NEWS) mldist.65: SML/NJ Version 0.65, 10 September 1990 (doc/NEWS) [missing SML/NJ Version 0.66, 2 October 1990] mldist.67: SML/NJ Version 0.67, 21 November 1990 (from file creation dates) mldist.68: SML/NJ Version 0.68, 14 March 1991 (from file creation dates) mldist.69: SML/NJ Version 0.69, 3 April 1991 (doc/NEWS) mldist.70: SML/NJ Version 0.70, 1 July 1991 (doc/NEWS) mldist.71: SML/NJ Version 0.71, 31 July 1991 (from file creation dates) mldist.72: SML/NJ Version 0.72, 28 August 1991 (from file creation dates; src only) mldist.73: SML/NJ Version 0.73, 10 September 1991 (doc/NEWS) mldist.74: SML/NJ Version 0.74, 10 October 1991 (from file creation dates; src only) [pre-release of Version 0.75, see README] sml386: SML/NJ Version 0.75? port to i386, 7 February 1992 (from file creation dates) tape4: mlsave.33: SML/NJ Version 0.33, 5 April 1989 (supercedes Tape2 version) mlsave.35: SML/NJ Version 0.35, 14 June 1989 (from file creation dates) [version from Tape9.zip above appears to be better] mlsave.36: SML/NJ Version 0.36, 4 July 1989 (doc/NEWS.36) [missing SML/NJ Version 0.37, 9 August 1989] mlsave.38: SML/NJ Version 0.38, 22 August 1989 (from file creation dates) mlsave.39: SML/NJ Version 0.39, 8 September 1989 (doc/NEWS.39, supercedes Tape2 version)
About
SML/NJ Early Versions from DBM's 9-track tapes
Resources
Stars
Watchers
Forks
Packages 0
No packages published