Page Numbers: Yes First Page: 1
Heading:
April 28, 1979 2:00 PM[IVY]<krl>document>doc-file-list
[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