Page Numbers: Yes First Page: 1
Heading:z19136x3q(635)
April 28, 1979  2:00 PM	[IVY]<krl>document>doc-file-listz18697y756x2qk72(0,12049)

[MAXC2]<KRL>
1MATCHSPECS.BRAVO = into str, str-basic-primary, match
2MATCHSPECS.BRAVO = broken up into match, match-eng-old, proc-pat-event,
         match-seek-old
3MATCHSPECS.BRAVO = some absorbed in [IVY]<KRL>olkrl1>specs>worlds.bravo,
        some in match-seek-old, some in proc-pat-event
BORNING.KRL1 = ex-borning
COMPILING.BRAVO = mostly in oldkrl1>specs>compiling.bravo, some paragraphs
						put into str-lev-mem-comp-change
HENDRIX.KRL1 = ex-hendrix
MCCARTHY.KRL1 = ex-mccarthy-version2
SEEKDESCRIBEOVERWRITE.BRAVO = match-seek-new
WRITEUP.MSG = stray-messages

[IVY]<Winograd>krl1>
  accounting.krl1!1 = ex-accounting
  basic.draw!1 = str-concepts.draw
  basicUnits.krl1!1 = in str-belief, proc-formal, str-formal-terry, match-seek-formal 
  cryptarithmetic.krl1!1 = ex-crypt-mid
  cryptfns.krl1!1 = subset of [IVY]<winograd>krl1>cryptarithmetic.krl1
  details.bravo!1 = incorporated into <krl>specs>details.bravo and <krl>specs>matcher.bravo
  exampleSet.krl1!1 -> .DM file
      Basicunits.krl1  = in str-belief, rep-quant-old, proc-formal
     Cryptunits.krl1 = ex-crypt-units
      examples.krl1 - in basic-inherit, rep-quant-old, ex-flow, ex-sam
      Hendrix.krl1 - same as [MAXC2]<KRL>hendrix.krl1
     McCarthy.krl1 = ex-mccarthy-version1
  f-accounting.krl1!1 = superceded by [ivy]<winograd>krl1>accounting.krl1
  interpreter.krl1!1 = match-eng-old-imp
  krl-to-do!1 = stray-todo
  matchActions.krl1!1 = incorporated into winograd>krl1>interpreter>krl1
  matchCode.krl1!1 = incorporated into winograd>krl1>interpreter>krl1
  matcher!1 = incorporated into <krl>specs>details.bravo and <krl>specs>matcher.bravo
        except for one piece which is match-full-imp-loop
  matchSystems.draw!1 = match-eng-old-units.draw
  matchUnits.krl1!1 = incorporated into winograd>krl1>interpreter>krl1
  testCrypt.bravo!2 = ex-crypt-new
  undefinedfns.bravo!1 = no longer useful
  utilities.bravo!1 = match-full-imp-util
  workhistory.bravo!1 = stray-work

[IVY]<Winograd>krl>
  danny.notes!1 = old of interest at the time only
  forum-outline!1 = stray-forum-outline
  forum-slides!1 = stray-forum-slides
  oldcrypt.bravo!1 = ex-crypt-old

[IVY]<KRL>doc>
  syntax.bravo!6, 7, 8, 9, 10 = str-syntax

[IVY]<KRL>oldkrl1>doc>
  1.bravo!1 = empty
  10.bravo!1 = empty
  11.bravo!1 = empty
  12.bravo!1 = same as [IVY]<KRL>oldkrl1>specs>worlds.bravo
  13.bravo!1 = empty
  14.bravo!1 = incorporated in 3matchspecs
  15.bravo!1 = empty
  16.bravo!1 = parts to match-access, str-lev-mem-comp-brian,
        str-lev-mem-comp-decl-old, str-formal-rec-old
  17.bravo!1 = empty
  2.bravo!1 = taken from 1matchspecs and 2matchspecs
  3.bravo!1 = str-brian
  4.bravo!1 = empty
  5a.bravo!1 = proc-formal-run
  5b.bravo!1 = in str-syntax-lisp
  5c.bravo!1 = parts to str-basic-primary, match-seek-old-ground, match-seek-brian
  6.bravo!1 = parts to proc-pat-event, str-basic-attach-ext, str-basic-attach-stan
  7.bravo!1 = empty
  8.bravo!1 = same as [IVY]<krl>oldkrl1>specs>collections.bravo
  9.bravo!1 = into str-basic-inherit
  aa.bravo!1 = superceded by <krl>doc>syntax.bravo
  ab.bravo!1 = str-lev-krs
  ac.bravo!1 = empty
  ad.bravo!1 = str-formal
  contents.bravo!1 = stray-brian-outline
  files.bravo!1 = stray-jan77
  glossary.bravo!1 = glossary

[IVY]<KRL>oldkrl1>specs>
  accesscompile.bravo!1 = empty
  attachment.bravo!1 = str-basic-attach
  categories.bravo!1 = str-basic-exclusion
  collections.bravo!1 = rep-quant
  commands.bravo!1 = incorporated into oldkrl1>specs>interface.bravo
  compaction.bravo!1 = str-lev-mem-comp-decl
  compiling.bravo!1 = str-lev-mem-comp
  datatypes.bravo!1 = incorporated into <krl>specs>datatypes.bravo
  describe.bravo!1 = empty
  directory.bravo!1 = old file list from somewhere, no longer relevant
  implementation.bravo!1 = sys-imp
  index.bravo!1 = rep-index
  inference.bravo!1 = pointer to Martin
  interface.bravo!1 = in str-syntax-lisp
  interpreter.bravo!1 = merged into match-eng-old
  krlspecs.indextabs!1
  logic.bravo!1 = empty
  PROCESS.BRAVO!1 = into proc-formal
  productions.bravo!1 = proc-pat
  seekmatch.bravo!1 = match-seek
  specifications.bravo!1 = stray-june77
  strategies.bravo!1 = pointer to David
  syntax.bravo!1 = material in krl>doc>syntax.bravo
							+ examples in str-syntax-old
  unit.bravo!1 = str-lev-mem-unit
  worlds.bravo!1 = rep-worlds

[IVY]<KRL>specs>
  1matcher.bravo!2 superceded by [Ivy]<krl>specs>details.bravo,
        [IVY]<krl>specs>matcher.bravo, and [IVY]<winograd>krl1>matcher.
  2matcher.bravo!1 = pieces to rep-worlds-during, rep-worlds-domain, basic-attach-old
  conversion.bravo!6, 7, 8 = str-lev-conv
  datatypes.bravo!3, 4, 5 = str-lev-mem
  details.bravo!4, 5 = split into match-pattern and match-attach
  environment.bravo!1 = sys
  furtherSpecified.bravo!2 =  into str-basic-inherit
  interface.bravo!3, 4 = incorporated into [ivy]<krl>specs>conversion.bravo
  kfiles.bravo!1 = stray-henry
  krlspecs.filelst!1 = kept around for current manual
  krlspecs.indextabs!1, 2 = kept around for current manual
  levels.bravo!4, 5, 6, 7 = str-lev
  matchDoc.bravo!1 = superceded by [IVY]<krl>specs>matcher.bravo
  matcher!1 = mostly absorbed, one piece becomes match-full-imp-nondet
  matcher.bravo!3, 4 = split into match, match-seek-old,
				match-access, match-full-spec
  process.bravo!8, 9 = split into proc-agenda and proc-signal
  signals.bravo!1, 2 = match-full-signals
  title.bravo!5, 6 = keep for old document
  userInterface.bravo!4 = sys-details

[IVY]<KRL>units>
  sysunits.bravo!2, 3 = str-syntax-func
z19136x3(635)\b1B571b1B219f1 163f0 208f1 54f0 42f1 74f0 68f1 143f0 193f1 71f0 35f1 42f0 77b1B20f1 51f0 171b1B23f1 207f0 116f1 74f0 24f1 20f0 231f1 84f0 37f1 51f0 27f1 21f0 127b1B25f1 32f0 117f1 69f0 84f1 165f0 63f1 40f0 114f1 24f0 143f1 40f0 152b1B17f1 135f0 315f1 76f0 31f1 113f0 36f1 65f0 266f1 43f0 38b1B57b