comp.lang.ada
 help / color / mirror / Atom feed
From: wheeler@ida.org (David Wheeler)
Subject: Re: Strawman,woodenman and tinman
Date: 1998/05/01
Date: 1998-05-01T00:00:00+00:00	[thread overview]
Message-ID: <6icpmv$12e1@news.ida.org> (raw)
In-Reply-To: 6i1pd6$8uv@top.mitre.org


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





  reply	other threads:[~1998-05-01  0:00 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-04-24  0:00 Strawman,woodenman and tinman Lush
1998-04-24  0:00 ` Markus Kuhn
1998-04-25  0:00 ` Thomas Peter Carr
1998-04-27  0:00   ` Michael F Brenner
1998-05-01  0:00     ` David Wheeler [this message]
1998-05-02  0:00       ` Robert Dewar
1998-05-01  0:00 ` David Wheeler
1998-05-06  0:00   ` Arthur Evans Jr
1998-05-08  0:00     ` Michael F Brenner
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox