From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,51a3b464de10e2d4
X-Google-Attributes: gid103376,public
From: wheeler@ida.org (David Wheeler)
Subject: Re: Strawman,woodenman and tinman
Date: 1998/05/01
Message-ID: <6icpmv$12e1@news.ida.org>#1/1
X-Deja-AN: 349342319
References: <35409C15.41C6@cs.bham.ac.uk> <35426099.0@news.si.com>
 <6i1pd6$8uv@top.mitre.org>
Organization: IDA
Reply-To: dwheeler@ida.org
Newsgroups: comp.lang.ada
Date: 1998-05-01T00:00:00+00:00
List-Id: <comp.lang.ada>


Michael F Brenner (mfb@mbunix.mitre.org) wrote:
: JW > ... extreme difficulty in obtaining a copy of Straman, Woodenman,
:    > and Tinman which led to Ironman and Steelman ...          

I, too, would like to see Strawman, Woodenman, Tinman, Ironman, and
the four "color" languages on-line.  Obviously I think key historical
documents are useful, because I scanned in Steelman earlier!

If anyone does this, I encourage you to create an HTML version in
which people can link to specific chapters or requirements.
I did this with Steelman, as described in detail in
 http://www.adahome.com/History/Steelman/intro.htm
For example, a link to
 http://www.adahome.com/History/Steelman/steelman.htm#3-2C
brings up requirement 3-2C (which requires a Boolean type).

The short perl script I used to create these internal links is in:
  http://www.adahome.com/History/Steelman/mklinks
Mklinks is a text filter.  Its input is an HTML file, which
takes bolded headings beginning with numbers and creates
an equivalent named anchor.  Use it if you find it useful!

--- David A. Wheeler
    dwheeler@ida.org